Séance de cours
Transformations naturelles: Catégories, Functors et équivalence
Description
Cette séance de cours introduit le concept de transformations naturelles entre foncteurs, définies comme des cartes entre objets et morphismes en catégories. L'instructeur explique la communativité des diagrammes et l'associativité des compositions. Des exemples illustrent la transformation naturelle de l’identité et l’équivalence des catégories. La séance de cours couvre également les propriétés universelles des topologies discrètes et triviales, mettant l'accent sur l'existence de transformations naturelles dans divers contextes.
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.