Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
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.
Présente des ensembles, des fonctions, des produits cartésiens et des compositions, en discutant des images, des préimages et des propriétés des fonctions.
