Explore l'invariance de l'homotopie et son application à des groupes d'homologie de quotients, mettant en valeur l'isomorphisme et l'homotopie en chaîne.
Introduit la construction de quasi-catégories à partir de catégories enrichies de Kan en définissant des catégories simplifiées et en construisant le foncteur nerveux simplicial.