The goal of this reading group on topos theory is to read the book “Sheaves in Geometry and Logic” by Mac Lane and Moerdijk. In this way, we wish to gain a first understanding of the theory of both elementary and Grothendieck toposes, which lies at the intersection of logic, model theory and denotational semantics.

Each session lasts one hour and a half, without the questions. We will assume a reasonable amount of categorical background, although anyone is welcome to the reading group and background can be recalled on the fly if needed.