Théorie: Adjonctions

Cette séance de cours introduit la notion d'adjonction entre catégories, en mettant l'accent sur la généralisation de l'équivalence des catégories. L'instructeur établit l'idée clé et fournit une définition détaillée des adjonctions par des transformations naturelles. La séance de cours explore en outre la caractérisation des adjonctions, en soulignant les conditions nécessaires pour qu'une paire de foncteurs forme une adjonction. Divers diagrammes et propositions sont présentés pour illustrer le concept, aboutissant à une discussion sur l'isomorphisme naturel entre les foncteurs impliqués. La séance de cours se termine par une pause de réflexion sur les foncteurs définis.