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 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.