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.