Exposés

11:00: Andrea Gagna (I2M, Aix-Marseille), Les petites catégories comme modèles des types d'homotopie

La théorie de l'homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible d'équivalence faible parmi les petites catégories. Dans sa thèse, Illusie montre (et il attribue la preuve à Quillen) que la catégorie de l'homotopie des petites catégories est équivalente aux types d'homotopie. On donnera une variante de cette preuve qui utilise le théorème A de Quillen.