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.
Explore les réseaux dirigés avec des relations asymétriques et des hypergraphes qui généralisent les graphiques en permettant aux bords de connecter n'importe quel sous-ensemble de nœuds.
Se penche sur les théorèmes des coefficients universels en algèbre homologique, montrant leur application pratique dans le calcul des groupes d'homologie et de cohomologie.
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.