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) (Mar 27 2020 at 09:21):Toposes can seem big and scary, and even in this new online community there aren't so many people discussing them yet. I hope this can be a positive space for such discussions; if you've always wondered what topos theory is about, or have encountered ideas from it that you want clarification on, feel free to ask even very basic questions.
Morgan Rogers (he/him) (Mar 27 2020 at 09:22):Personally, I study Grothendieck (1-)toposes; I expect there will be some higher topos theorists present before too long.
Peiyuan Zhu (Oct 04 2021 at 19:52):Anyone knows a good introductory textbook for this topic?
Ivan Di Liberti (Oct 04 2021 at 20:12):Here: https://mathoverflow.net/questions/379709/resources-for-topos-theory/
John Baez (Oct 05 2021 at 18:38):Here are my opinions on what to read, to start learning topos theory: