Zulip Chat Archive Stream: maths Topic: Category theory Jinu Jang (Jun 19 2025 at 05:55): (deleted) Last updated: Dec 20 2025 at 21:32 UTC