Functors: Définition

Dans cours

DEMO: enim ex cupidatat mollit

Anim occaecat elit magna nostrud ullamco quis. Labore consectetur id veniam do quis. Enim excepteur ad reprehenderit do nostrud officia exercitation amet reprehenderit dolor. Minim Lorem labore laborum nisi culpa non esse velit sunt labore consectetur in aute. Do incididunt cupidatat proident id veniam occaecat. Dolore et quis duis laboris dolore esse consequat ut.

Connectez-vous pour voir cette section

Description

Cette séance de cours introduit le concept de functeurs dans la théorie des catégories, définie comme une paire de fonctions mapping objets et morphismes entre les catégories. Il explique l'analogie avec les homomorphismes en théorie de groupe et démontre la composition des functeurs.

Enseignant

aute mollit

Nulla pariatur incididunt labore ad amet adipisicing non culpa nisi sint ut proident. Consectetur occaecat ullamco culpa id eu anim ex laboris eu consectetur excepteur. Et anim labore reprehenderit do cillum nulla adipisicing magna. Ipsum tempor id sunt velit culpa. Sit tempor eu culpa eu quis excepteur dolore veniam est commodo laborum irure. Mollit consectetur eiusmod nulla dolore commodo Lorem magna officia excepteur aliquip fugiat.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_2dizdj1z

À 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.

Proximité ontologique

Mathématiques

Algèbre: Algèbre générale

Séances de cours associées (84)