Introduit la théorie combinatoire des groupes, en mettant l'accent sur les présentations de groupe, les sous-groupes normaux et les quotients de groupe.
Explore les limites et les limites dans les catégories de functeurs, en mettant l'accent sur les égaliseurs, les retraits et leur importance dans la théorie des catégories.
Se concentre sur le théorème de Seifert van Kampen, démontrant un isomorphisme entre les groupes fondamentaux en utilisant un diagramme tridimensionnel.