The nForum has moved to Zulip: generalisation as an adjunction > history.