Olivia Caramello 1, 4 Introduction to Grothendieck toposes

This course provides an introduction to the theory of Grothendieck toposes from a metamathematical point of view. It presents the main classical approaches to the subject (namely, toposes as generalized spaces, toposes as mathematical universes and toposes as classifiers of models of firstorder geometric theories) in light of the more recent perspective of toposes as unifying bridges relating different mathematical contexts with each other and allowing to study mathematical theories from multiple points of view.