Category Theory
Zulip Server
Archive

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.


Stream: community: events

Topic: Introduction to geometric morphisms


view this post on Zulip Vincent Moreau (May 27 2025 at 07:40):

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.

view this post on Zulip Morgan Rogers (he/him) (May 27 2025 at 16:04):

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.

view this post on Zulip Vincent Moreau (May 28 2025 at 11:32):

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.