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.
Introduit des transformations naturelles dans la théorie de groupe et la théorie de catégorie, en mettant l'accent sur leur définition et leur signification.
