Zulip Chat Archive Stream: maths Topic: Category theory Jinu Jang (Jun 19 2025 at 05:55): (deleted) Last updated: Feb 28 2026 at 14:05 UTC