Catégories supérieures, polygraphes et homotopie
responsable : François Métayer
les vendredis à 14 h en salle 5 A 92
Séances 2010-2011
-
5 novembre--François MétayerRésolutions en track-polygraphes, d'après Y. Guiraud et P. Malbos (I)
-
19 novembre--François MétayerRésolutions en track-polygraphes (II)
-
26 novembre--Jonathan ChicheLe localisateur fondamental minimal, d'après D-C. Cisinski (I)
-
3 décembre--Jonathan ChicheLe localisateur fondamental minimal, d'après D-C. Cisinski (II)
-
10 décembre--Dimitri AraStructures de catégorie de modèles à la Thomason (I)
-
17 décembre--Dimitri AraStructures de catégories de modèles à la Thomason (II)
-
14 janvier--Dimitri AraStructures de catégories de modèles à la Thomason (III)
-
28 janvier--Jonas FreyTopos et fibrations de Grothendieck (I)
-
11 février--Jonas FreyTopos et fibrations de Grothendieck (II)
-
18 février--Jonathan ChicheStructures d'asphéricité à droite, d'après G. Maltsiniotis
-
4 mars--Pierre-Louis CurienT-catégories de Burroni et n-catégories faibles selon Batanin et Leinster
-
11 mars--Pierre-Louis CurienSémantique des types identité de Martin-Löf
-
25 mars--Muriel LivernetQu'est-ce qu'une opérade E_n ? principe et construction en topologie et en algèbre (I)
-
1er avril--Dimitri AraFoncteurs infini-groupoïde fondamental à la Grothendieck (I)
-
8 avril--Dimitri AraFoncteurs infini-groupoïde fondamental à la Grothendieck (II)
-
29 avril--Muriel LivernetQu'est-ce qu'une opérade E_n ? principe et construction en topologie et en algèbre (II)6 mai--Jonathan ChicheThéorème A de Quillen et 2-analogue (d'après Quillen, Bullejos et Cegarra)13 mai--Albert BurroniUne promenade du côté des arités structurées20 mai--François MétayerOmega-catégories cofibrantes (I)27 mai--François MétayerOmega-catégories cofibrantes (II)10 juin--Jonathan ChicheSubdivision de catégories et construction universelle, d'après Matias del Hoyo (I)17 juin--Jonathan ChicheSubdivision de catégories et construction universelle, d'après Matias del Hoyo (II)24 juin--Albert BurroniStructure mathématique des automates et des grammaires