Yoneda lemma - Wikipedia
In mathematics, the Yoneda lemma is a fundamental result in category theory.[1] 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 also generalizes the information-preserving relation between a term and its continuation-passing style transformation from programming language theory.[2] It allows the embedding of any locally small category into a category of functors (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 cate
Yoneda lemma - Wikipedia Jump to content From Wikipedia, the free encyclopedia Embedding of categories into functor categories The Yoneda lemma is a fundamental result in category theory , a branch of mathematics. [ 1 ] 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 also generalizes the information-preserving relation between a term and its continuation-passing style transformation from programming language
Explore this link on the map →related reading
- The Yoneda Lemma | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Category Theory on Math3mamath3ma.com
- A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda Lemmablog.sigfpe.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Functor - Wikipediaen.wikipedia.org
- Category theory - Wikipediaen.wikipedia.org
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- What is Category Theory Anyway?math3ma.com
- Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Introducing Categories || Math ∩ Programmingjeremykun.com