Séance de cours
Catégories de functors Composition et functors induits
Description
Cette séance de cours se décline en exemples spécifiques de catégories de functeurs, définissant la composition des functeurs comme un functeur, et discutant des functeurs induits entre les catégories de functeurs. L'instructeur explique comment définir un functeur donné par la composition des functeurs au niveau de l'objet, et comment un functeur peut induire une relation entre différentes catégories de functeurs. La séance de cours couvre également la préservation des diagrammes commutatifs par les functeurs et le concept des functeurs 'naturels' dans la théorie des catégories.
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.