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.
Brendan Fong (Jul 08 2020 at 20:16):a bunch of us are hanging out here: https://gather.town/n3WuxZO61Xq9p1Gq/act2020. It's videoconferencing on a 2d map, a possible alternative to jitsi
Brendan Fong (Jul 08 2020 at 20:17):all welcome to join us -- it's lots of fun!
Toby Smithe (Jul 08 2020 at 20:23):this is such a cool concept!! I'm having food just now but will try and join later if people are still around
Chad Nester (Jul 10 2020 at 19:07):I think we should keep using this. It's fun!