Yoneda lemma | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In mathematics, the Yoneda lemma is arguably the most important result in . It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms). It allows the of any into a (contravariant set-valued functors) defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda. The Yoneda lemma suggests that instead of studying the locally small category , one should study the category of all functors of into (the with functions as morphisms). is a category we think we understand well, and a functor of into can be seen as a "representation" of in terms of known structures. The original category is contained in this functor category, but new objects appear in the functor category, which were absent and "hidden" in . Treating these new objects just like the old ones often unifies and simplifies the theory. This approach is akin to (and in fact generalizes) the common method of studying a ring by investigating the modules over that ring. The ring takes the place of the category , and the category of modules over the ring is a category of functors defined on . Yoneda's lemma concerns functors from a fixed category to the , . If is a (i.e. the hom-sets are actual sets and not proper classes), then each object of gives rise to a natural functor to called a hom-functor. This functor is denoted: The (covariant) hom-functor sends to the set of morphisms and sends a morphism (where and are objects in ) to the morphism (composition with on the left) that sends a morphism in to the morphism in . That is, Yoneda's lemma says that: Let be a functor from a locally small category to .

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.

Related concepts (33)

Related courses (9)

Related lectures (98)

Yoneda lemma

Representable functor

In mathematics, particularly , a representable functor is a certain functor from an arbitrary into the . Such functors give representations of an abstract category in terms of known structures (i.e. sets and functions) allowing one to utilize, as much as possible, knowledge about the category of sets in other settings. From another point of view, representable functors for a category C are the functors given with C. Their theory is a vast generalisation of upper sets in posets, and of Cayley's theorem in group theory.

Functor category

In , a branch of mathematics, a functor category is a category where the objects are the functors and the morphisms are natural transformations between the functors (here, is another object in the category). Functor categories are of interest for two main reasons: many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable; every category embeds in a functor category (via the Yoneda embedding); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting.

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Explores building categories from graphs and the encoding of information by functors.

Covers the transfer of model structures through adjunctions in the context of model categories.