The nForum has moved to Zulip:
model structures for coalgebras
.