You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Sasha B (Feb 03 2021 at 22:26):Hi everyone, I run a small discussion group / reading group thingy in Melbourne Australia where we talk about category theory, type theory, and computer science stuff. We're not super advanced compared to people in this Zulip, especially since it's mostly programmers rather than academics, but if anyone's curious, I can add you to the group (no obligation to actually come though). We're currently about to read Milewski's Category Theory for Programmers, and we've looked at Fong and Spivak's Invitation to Applied Category Theory (Seven Sketches).