The nForum has moved to Zulip: triangulated category.