The nForum has moved to Zulip: injective object (2).