Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Couvre des exemples de catégories telles que les ensembles, les groupes et les espaces vectoriels, en explorant la composition et la formation des produits.
