The nForum has moved to Zulip: quotient object coclassifier.