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.
Couvre la différentiabilité dans les fonctions multivariables et l'existence de plans tangents, en mettant l'accent sur les interprétations géométriques et les applications pratiques.
