Collection Topos à l'IHES
Organisateur(s)
Date(s)
13/05/2024
2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
Construction of classifying toposes for geometric theories. Duality between the subtoposes of the classifying topos of a geometric theory and the quotients of the theory. Transfer of topos‐theoretic notions across the duality and their logical interpretations.
