The nForum has moved to Zulip: walking adjoint equivalence.