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.
Morgan Rogers (he/him) (Nov 21 2020 at 10:51):My advisor @Olivia Caramello has kindly asked me to announce her new forum, Around Toposes.
It's designed to be a hub for discussions on toposes and adjacent topics. The format is a little more formal than here, but there is more room for longer form contributions, such as this post I wrote this past week. It is also hoped that it will become a resource for folks learning topos thery for the first time, although some input and learner questions are needed before that!
Matteo Capucci (he/him) (Nov 21 2020 at 11:37):Wow! Thanks @Olivia Caramello and everyone who made this
Chetan Vuppulury (Nov 21 2020 at 20:54):This is amazing @[Mod] Morgan Rogers . Thanks a lot for sharing!