The nForum has moved to Zulip: category theory and foundations.