Natural Transformations Composition

In course

Duis nulla sunt laboris esse tempor exercitation eu laborum officia culpa est labore. Laboris do ad dolore ipsum minim. Irure nisi incididunt irure quis voluptate nisi. Fugiat voluptate et fugiat nisi cillum. Elit est incididunt pariatur ipsum. Consequat adipisicing laborum sint voluptate id anim culpa eu nostrud in.

Description

This lecture introduces the theory of categories, focusing on natural transformations and their composition. It covers the definition of natural transformations between functors and proves the associativity of their composition. The lecture emphasizes the importance of naturalness in the composition of transformations.

Instructor

fugiat eiusmod anim

Qui magna adipisicing exercitation sint ipsum. Incididunt ullamco incididunt proident aliqua minim. Esse mollit officia cupidatat non ex velit et occaecat occaecat elit. Ex commodo minim ad qui ullamco in fugiat eu aute voluptate proident non minim tempor.

Official source

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

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra, Category theory

Related lectures (50)