The nForum has moved to Zulip: cocartesian monoidal category.