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 un examen des structures algébriques telles que les anneaux, les champs et les groupes, y compris les domaines intégraux, les idéaux et les champs finis.