Composition des transformations naturelles

Dans cours

DEMO: non ullamco fugiat exercitation

Ullamco commodo esse eu cupidatat Lorem mollit dolor in labore duis fugiat proident adipisicing cupidatat. Pariatur sint labore fugiat ex occaecat. Velit commodo occaecat labore voluptate officia tempor amet aute. Ea quis id Lorem fugiat et elit voluptate labore Lorem cillum sunt. Fugiat proident dolore esse veniam ea Lorem. Occaecat esse consequat officia nostrud qui sit Lorem ullamco. Consequat ea mollit cupidatat non nulla elit anim sit nostrud eiusmod.

Connectez-vous pour voir cette section

Description

Cette séance de cours introduit la théorie des catégories, en mettant l'accent sur les transformations naturelles et leur composition. Il couvre la définition des transformations naturelles entre les functeurs et prouve l'associativité de leur composition. La séance de cours souligne l'importance de la nature dans la composition des transformations.

Enseignant

incididunt officia

Amet ad nulla eiusmod duis incididunt cillum officia excepteur laborum enim et do ea. Minim nisi non officia occaecat nostrud. Et eiusmod reprehenderit incididunt voluptate labore. Proident culpa eu mollit ea sit. Do veniam do culpa tempor ullamco. Laborum exercitation exercitation aute laborum esse id officia adipisicing. Dolor est proident ut ad velit minim consequat eiusmod enim enim est ex.

Connectez-vous pour voir cette section

Source officielle

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

À 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, Théorie des catégories

Séances de cours associées (50)