Transformations naturelles : Adjonctions et identités triangulaires

Cette séance de cours introduit le concept d'adjonctions entre les functeurs, défini par des transformations naturelles qui satisfont à des diagrammes commutatifs spécifiques. Il explore les identités triangulaires issues des adjonctions, illustrant leurs propriétés à travers des diagrammes et des expressions mathématiques. La séance de cours couvre également l'application des adjonctions dans le contexte de la théorie des catégories, en mettant l'accent sur les relations entre les functeurs et la préservation des structures. En outre, il examine la notion de transformations naturelles et leur rôle dans l'établissement de liens entre les différentes catégories.