Explore un exemple concret d'adjonction dans la théorie des catégories et couvre les transformations naturelles et les concepts de la théorie des groupes.
Explore l'équivalence dans les espaces vectoriels, couvrant les conditions pour que les déclarations soient considérées comme équivalentes et les propriétés des bases algébriques.