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.
Hi everyone, I am co-organizing with Umberto Tarantino a reading group on the book Sheaves in Geometry and Logic at our lab, IRIF. Our next session is tomorrow, i.e. 2pm in France, and we will be very happy to listen to @Morgan Rogers (he/him) who will talk about geometric morphisms (chapter VII of the book). We usually don't stream the sessions, but we have thought that some of you might be interested in attending Morgan's talk online. I will send an open link to attend Morgan's talk tomorrow.
For anyone considering joining that hasn't read that far into SGL before, I intend to provide enough variety of examples that you should be able to follow at least some of the talk as long as you know some of the standard ways of presenting toposes.
Here is the link to join today: https://galene.org:8443/group/moreau/?token=f5UH0R17C1E You just have to choose a username and it's all good.