4/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
Appears in collection : Topos à l'IHES
The ‘bridge-building’ technique: Morita-equivalences as ‘decks’ and site characterizations as ‘arches’. Some examples and applications.