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.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.
Démontre l'équivalence entre l'homologie simpliciale et singulière, prouvant les isomorphismes pour les complexes s finis et discutant de longues séquences exactes.
