Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
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.
Présente l'homologie comme un outil pour distinguer les espaces dans toutes les dimensions et fournit des informations sur sa construction et ses applications.
Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.