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.
Nathanael Arkor (Apr 01 2020 at 23:42):@Paolo Perrone: are you aware that the MIT Categories seminars conflict with the HoTTEST seminars?
Nathanael Arkor (Apr 01 2020 at 23:43):I wonder if it would be possible for the two to be shifted slightly, so that they don't overlap, considering that there will be probably be a significant overlap in people interested in both, now that they're happening online
Nathanael Arkor (Apr 01 2020 at 23:43):though if they're being recorded, it's maybe not such a problem (apart from not being able to ask questions at both)