Explore les transformations naturelles entre les functeurs, en mettant l'accent sur leurs propriétés de préservation de la composition et leur signification dans la théorie des catégories.
Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.
Présente les concepts de base des groupes, y compris les définitions, les propriétés et les homomorphismes, en mettant l'accent sur les propriétés des sous-groupes et les sous-groupes normaux.