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.
Explore l'identité et les functeurs oubliés dans la théorie des catégories, montrant leur rôle dans la préservation de la structure et des relations entre les catégories.