Vidéos et références du colloque "Topos à l'IHES" (novembre 2015)
Programme condensé : conférences plénières
Condensed program: plenary lectures
Lundi 23/11/2015
8h30 : Café d'accueil
9h00 : Ouverture du colloque, par Olivia Caramello.
9h05 : Conférence inaugurale de Pierre Cartier
10h15-12h30 : "A crash course in topos theory: the big picture" (I & II) by André Joyal
Mardi 24
9h30-12h30 : "A crash course in topos theory: the big picture" (III & IV) by André Joyal
Mercredi 25/11
10h00. Michel Vaquié : "Théorie spectrale en géométrie relative"
11h15. Caterina Consani : "On the geometry of the adele class space of Q"
14h00. Mathieu Anel : "Toposes are commutative rings"
15h15. Simon Henry : "Operator algebras from toposes"
Jeudi 26/11
10h00. Carlos Simpson : "Pre-buildings as sheaves on the site of enclosures"
11h15. Mike Prest : "Model-theoretic imaginaries and localisation for additive categories"
14h00. André Joyal : "New variations on the notion of topos"
15h15. Luca Barbieri-Viale : "T-Motives"
Vendredi 27/11
10h00. Thierry Coquand : "logic and topology"
11h15. Urs Schreiber : "Synthetic prequantum field theory in a cohesive homotopy topos"
14h00. Jean Bénabou : "Very, almost, and so on, ..."
15h15. Séance de discussion
Programme complet
Lundi 23 novembre 2015
Matin
8h30-9h00 : enregistrement des participants et café d’accueil (Welcome Coffee)
9h00: Ouverture du colloque, par Olivia Caramello
9h05-10h15 Conférence inaugurale, par Pierre Cartier
10h15 - 11h30 "A crash course in topos theory: the big picture"(I) by André Joyal
11h30-11h45 pause-café
11h45- 12h30 "A crash course in topos theory: the big picture" (II) by André Joyal
lunch de 13h00 à 14h00
Après-midi,
15h15-15h45 pause-café
***
Mardi 24 novembre 2015
Matin
9h00-9h30 : Welcome Coffee
9h30-10h45 : "A crash course in topos theory: the big picture" (III) by André Joyal
10h45-11h15 pause-café
11h15-12h30 "A crash course in topos theory: the big picture" (IV) by André Joyal
lunch de 12h30 à 14h00
15h15-15h45 pause-café
***
Mercredi 25 novembre 2015
Matin
9h30-10h00 : Welcome Coffee
Deux séances plénières
10h00-11h00. Michel Vaquié : "Théorie spectrale en géométrie relative"
11h00-11h15 : Coffee break
11h15-12h15. Caterina Consani : "On the geometry of the adele class space of Q"
lunch de 12h30 à 14h00
Après-midi
Deux séances plénières
14h00-15h00. Mathieu Anel : "Toposes are commutative rings"
15h15-16h15 : Simon Henry : "Operator algebras from toposes"
16h15-16h30 : Coffee break
puis 6 communications courtes
réparties en deux sessions parallèles (a) et (b)
16h30-17h00 (a) Guilherme-Frederico Lima de Carvalho e Silva : From Essential Inclusions to Local Geometric Morphisms
16h30-17h00 (b) Pietro Polesello : Proper stacks and costacks
17h00-17h30 (a) Anna Carla-Russo : Morita-equivalences for MV-algebras
17h00-17h30 (b) Zoran Skoda : Localizations and semiquantals
17h30-18h00 (a) Christopher F. Townsend : There are categories of `spaces' that are not categories of locales
17h30-18h00 (b) Jonas Frey : Realizability toposes as homotopy categories
***
Jeudi 26 novembre 2015
Matin
9h30-10h00 : Welcome Coffee
Deux séances plénières
10h00-11h00. Carlos Simpson : "Pre-buildings as sheaves on the site of enclosures"
11h00-11h15 : Coffee break
11h15-12h15. Mike Prest : "Model-theoretic imaginaries and localisation for additive categories"
lunch de 12h30 à 14h00
Après-midi
Deux séances plénières
14h00-15h00. André Joyal : "New variations on the notion of topos"
15h15-16h15. Luca Barbieri-Viale : "T-Motives"
Pas de séances courtes le jeudi 26.
***
Vendredi 27 novembre 2015
Matin
9h30-10h00 : Welcome Coffee
Deux séances plénières
10h00-11h00. Thierry Coquand : "logic and topology"
11h00-11h15 : Coffee break
11h15-12h15. Urs Schreiber : "Synthetic prequantum field theory in a cohesive homotopy topos"
lunch de 12h30 à 14h00
Après-midi
Deux séances plénières
14h00-15h00. Jean Bénabou : "Very, almost, and so on, ... (when fragments of the language find their way into Topos Theory)"
15h15-16h15. General Discussion
16h15-16h30 : Coffee break
puis 5 communications courtes
réparties en deux sessions parallèles (a) et (b)
16h30-17h00 (a) Ingo Blechschmidt : Using the internal language of toposes in algebraic geometry
16h30-17h00 (b) Matias I. Data : A construction of 2-filtered bicolimits of categories with 2-fibrations
17h00-17h30 (a) David Michael Roberts : Class forcing and topos theory
17h00-17h30 (b) Camell Kachour :Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos
17h30-18h00 (a) Alex Simpson : Probability sheaves
***