Conférence inaugurale, Pierre Cartier - Topos à l'IHES

De Pierre Cartier

1/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

De Olivia Caramello

2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

De Olivia Caramello

3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

De Olivia Caramello

4/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

De Olivia Caramello

1/4 A crash course in topos theory : the big picture

De André Joyal

2/4 A crash course in topos theory : the big picture

De André Joyal

3/4 A crash course in topos theory : the big picture

De André Joyal

4/4 A crash course in topos theory : the big picture

De André Joyal

Probability sheaves

De Alex Simpson

Class forcing and topos theory

De David Michael Roberts

Using the internal language of toposes in algebraic geometry

De Ingo Blechschmidt

General discussion

Very, almost, and so on (when fragments of the language find their way into Topos Theory)

De Jean Bénabou , Jean Bénabou

Synthetic prequantum field theory in a cohesive homotopy topos

De Urs Schreiber

Logic and topology

De Thierry Coquand

T-Motives

De Luca Barbieri-Viale

New variations on the notion of topos

De André Joyal

Model-theoretic imaginaries and localisation for additive categories

De Mike Prest

Pre-buildings as sheaves on the site of enclosures

De Carlos Simpson

There are categories of ‘spaces' that are not categories of locales

De Christopher Townsend

Morita-equivalences for MV-algebras

De Anna Carla Russo

From Essential Inclusions to Local Geometric Morphisms

De G. F. Lima de Carvalho e Silva

Operator algebras from toposes

De Simon Henry

Toposes are commutative rings

De Mathieu Anel

On the geometry of the adele class space of Q

De Caterina Consani

Théorie spectrale en géométrie relative

De Michel Vaquié