Yoneda lemma

Yoneda lemma
Given a category C with an object A, let H be a representable functor from C to the category of Sets, and let F be any functor from C to Sets, then there is a "natural" isomorphism between the set F(A) and Nat(H,F), the set of natural transformations from H to F.

Wikipedia foundation.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Yoneda lemma — In mathematics, specifically in category theory, the Yoneda lemma 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 (a group being a particular kind of… …   Wikipedia

  • Yoneda-Lemma — Das Yoneda Lemma, nach Nobuo Yoneda, ist eine mathematische Aussage aus dem Teilgebiet der Kategorientheorie. Es beschreibt die Menge der natürlichen Transformationen zwischen einem Hom Funktor und einem weiteren Funktor. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Yoneda — is a Japanese surname which may refer to:*Isao Yoneda, gymnast * Nobuo Yoneda, mathematician and computer scientist ** The Yoneda lemma, a technical result in category theory, named after him *Tetsuya Yoneda, baseball pitcher …   Wikipedia

  • Lemma von Yoneda — Das Lemma von Yoneda, nach Nobuo Yoneda, ist eine mathematische Aussage aus dem Teilgebiet der Kategorientheorie. Es beschreibt die Menge der natürlichen Transformationen zwischen einem Hom Funktor und einem weiteren Funktor. Das Yoneda Lemma… …   Deutsch Wikipedia

  • Nobuo Yoneda — (jap. 米田 信夫, Yoneda Nobuo; * 28. März 1930; † 22. April 1996) war ein japanischer Mathematiker und Informatiker. Leben Nachdem Yoneda 1952 seinen Abschluss am mathematischen Institut der naturwissenschaftlichen Fakultät der Universität Tokio… …   Deutsch Wikipedia

  • Nobuo Yoneda — (米田 信夫, Yoneda Nobuo?, March 28, 1930 – April 22, 1996) was a Japanese mathematician and computer scientist. The Yoneda lemma in category theory is named after him. In computer science, he is known for his work on ALGOL dialects. References Eiiti …   Wikipedia

  • Abstract nonsense — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Duale Kategorie — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Funktor (Mathematik) — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Kategorientheorie — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelt wurde; Saunders MacLane nennt seine 1945 in Zusammenarbeit mit Samuel Eilenberg entstandene… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”