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.
Présente les produits cartésiens, les relations d'équivalence et les fonctions, en soulignant l'importance de l'ordre et en discutant des fonctions injectives, surjectives et bijectives.
