Introduction à la théorie des catégories: Adjoint Functors

Cette séance de cours fournit un exemple concret d'adjonction, démontrant que le foncteur oublieux de la catégorie des espaces vectoriels sur un champ k est le bon adjoint au foncteur qui associe à un ensemble l'espace vectoriel avec lui comme base. Les diapositives couvrent les transformations naturelles, la vérification des identités triangulaires, les applications linéaires et la vérification des identités triangulaires dans la théorie des groupes.