The nForum has moved to Zulip: list of notable initial algebras and terminal coalgebras.