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 les adjonctions et les catégories de foncteur, en soulignant leur importance dans la théorie des catégories et les applications dans l'apprentissage profond.