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.
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 la détermination des espaces vectoriels, le calcul des noyaux et des images, la définition des bases et la discussion des sous-espaces et des espaces vectoriels.