Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.
Explore l'équivalence homotopique dans les complexes en chaîne, mettant l'accent sur la construction d'objets de chemin et la caractérisation homotopique gauche/droite.
Couvre la construction d'un adjoint de gauche au functeur de set singulier, en comparant la théorie homotopique des espaces topologiques avec celle des sets simpliciaux.