The nForum has moved to Zulip: cartesian bicategories.