Explore les propriétés de base de l'homotopie gauche dans les catégories de modèles, en mettant l'accent sur les faibles équivalences et les relations de morphisme.
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.
Discute des actions de groupe, des quotients et des homomorphismes, en mettant l'accent sur les implications pratiques pour divers groupes et la construction d'espaces projectifs complexes.
