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 la vérification d'un functeur Lie en tant qu'adjoint gauche, avec des transformations naturelles satisfaisant les identités triangulaires et les isomorphismes.