The nForum has moved to Zulip: Topos Theory (2).