4/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
The ‘bridge-building’ technique: Morita-equivalences as ‘decks’ and site characterizations as ‘arches’. Some examples and applications.
The ‘bridge-building’ technique: Morita-equivalences as ‘decks’ and site characterizations as ‘arches’. Some examples and applications.
By Pierre Cartier
By Olivia Caramello
By Olivia Caramello
By Olivia Caramello
By Olivia Caramello
By Ingo Blechschmidt
By Jean Bénabou , Jean Bénabou
By Urs Schreiber
By Mike Prest
By Christopher Townsend
By G. F. Lima de Carvalho e Silva