Petites catégories comme modèles des types d’homotopie
Andrea Gagna
I2M, Aix-Marseille Université
/user/andrea.gagna/
Date(s) : 26/04/2018 iCal
11h00 - 12h30
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.
Catégories
