Séance de cours
Introduction à la théorie des catégories: Transformations naturelles
Description
Cette séance de cours introduit le concept d’une transformation naturelle entre deux foncteurs, en expliquant comment composer et définir une transformation naturelle identitaire. Il couvre l'associativité des transformations naturelles et la formation d'une catégorie de foncteurs avec le même domaine et codomaine.
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.