The nForum has moved to Zulip: Isbell duality.