The nForum has moved to Zulip: General Theory of Natural Equivalences.