Séance de cours
Functeurs et auxiliaires
Description
Cette séance de cours explore le concept de functeurs entre les catégories de functeurs et la question de savoir quand ils admettent les conjoints gauche et droit. L'instructeur discute des conditions sur les functeurs entre les catégories, l'induction des functeurs, et les propriétés des adjonctions, en mettant l'accent sur les extensions kan. La séance de cours se penche sur la relation entre les functeurs et les adjonctions, soulignant l'importance des transformations naturelles et des diagrammes de trajet.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.