The nForum has moved to Zulip: functors and comma categories.