About: Yoneda lemma

An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, the Yoneda lemma is arguably the most important result in category theory. 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 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.

Property Value
dbo:abstract
  • V matematice je Jonedovo lemma pravděpodobně nejdůležitějším výsledkem v teorii kategorií. Je to abstraktní tvrzení o funktorech druhu morfismy do daného objektu. Jde o značné zobecnění z teorie grup (pokud se grupa vezme jako miniaturní kategorie pouze s jedním objektem a pouze isomorfismy). Umožňuje libovolné kategorie do kategorie funktorů (kontravariantních funktorů nad množinami) definovaných nad touto kategorií. Také objasňuje, jak se vnořená kategorie a jejich přirozených transformací chová ve vztahu k ostatním objektům v celé kategorii funktorů. Jde o důležitý nástroj, který stojí za mnoha moderními výsledky v algebraické geometrii a . Je pojmenováno po . (cs)
  • 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 erlaubt es, Begriffe, die aus der Kategorie der Mengen geläufig sind, auf beliebige Kategorien zu übertragen. (de)
  • En théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet). Une des conséquences du lemme de Yoneda est le théorème des (en), qui a de nombreuses utilisations en homologie et en géométrie algébrique. Le lemme de Yoneda exprime le fait que deux objets et sont isomorphes si (et seulement si) ils ont les mêmes relations (i.e. les mêmes ensembles de morphismes) avec tous les autres objets de la catégorie. (fr)
  • El lema de Yoneda en teoría de las categorías nos permite una categoría en otra categoría de funtores definida sobre aquella, y clarifica cómo la categoría sumergida se relaciona con los objetos de la categoría de funtores que la sumerge. Es una herramienta importante que se encuentra subyacente a varios de los desarrollos modernos en geometría algebraica y teoría de la representación. Es una extensa generalización del teorema de Cayley de la teoría de grupos (todo grupo es un monoide, que es a su vez una categoría con un solo objeto). (es)
  • 米田の補題(よねだのほだい、英: Yoneda lemma)とは、小さなhom集合をもつ圏 C について、共変あるいは反変hom関手 hom(A , _), hom(_, A) から集合値関手 F への自然変換と、値となる集合 F(A) の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マックレーンにより名付けられた。その主張は、マックレーンによれば、米田の仕事に早くから現れていたという。ただし、エミリー・リール (Emily Riehl) によれば、この補題が初めて (明示的に) 論文に登場したのは である。 米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」「もしかしたら最も利用されているただ1つの結果かもしれない」と言われている。 (ja)
  • In mathematics, the Yoneda lemma is arguably the most important result in category theory. 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 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. (en)
  • 범주론에서 요네다 보조정리([米田]補助定理, 영어: Yoneda lemma)는 특정한 범주를 집합의 범주에 묻는 함자에 대한 보조정리다. 군론의 케일리의 정리(Cayley’s theorem)를 크게 일반화한 것이다. 대수기하학과 표현론에서 중요하게 쓰인다. (ko)
  • In matematica, il lemma di Yoneda è un risultato fondamentale nella teoria delle categorie. Nella sua forma più debole afferma che ogni categoria può essere considerata come una sottocategoria dei funtori contravarianti da essa alla categoria di insiemi. (it)
  • Lemat Yonedy – podstawowe narzędzie w wielu zagadnieniach teorii kategorii i w jej zastosowaniach do innych dziedzin matematyki, zwłaszcza do geometrii algebraicznej. Lemat ten dotyczy funktorów reprezentowalnych poprzez funktory główne (zwane też hom-funktorami) i opisuje ogólną postać transformacji naturalnych tych funktorów. Stosuje się go m.in. przy zanurzaniu danej kategorii w kategorię funktorów oraz przy pewnych zagadnieniach jednoznacznej faktoryzacji. (pl)
  • Лемма Йонеды — результат о функторе Hom; теоретико-категорное обобщение классической теорико-групповой теоремы Кэли (если рассматривать группу как категорию из одного объекта). Лемма позволяет рассмотреть вложение произвольной категории в категорию функторов из неё в категорию множеств. Является важным инструментом, позволившим получить множество результатов в алгебраической геометрии и теории представлений. (ru)
  • Na teoria das categorias, o lema de Yoneda diz que há bijeção, natural no objeto e no functor , levando cada transformação natural ao elemento . O nome do resultado, referenciando o matemático japonês , foi escolhido por Saunders Mac Lane, após um encontro na França. (pt)
  • 在範疇論中,米田引理斷言一個對象的性質由它所表示的函子或决定。此引理得名于日本數學家暨計算機科學家。 (zh)
  • В теорії категорій, лема Йонеди — абстрактний результат про властивості функтора Hom. Вона є узагальненням теореми Келі в теорії груп (якщо розглядати групу як категорію з одним об'єктом). Лема дозволяє розглянути вкладення довільної категорії в категорію функторів з неї в Set. Лема Йонеди — важливий інструмент, який дозволив отримати багато важливих результатів в алгебраїчній геометрії і теорії представлень. (uk)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 34359 (xsd:integer)
dbo:wikiPageLength
  • 17539 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1111057321 (xsd:integer)
dbo:wikiPageWikiLink
dbp:id
  • Yoneda+lemma (en)
dbp:title
  • Yoneda lemma (en)
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • V matematice je Jonedovo lemma pravděpodobně nejdůležitějším výsledkem v teorii kategorií. Je to abstraktní tvrzení o funktorech druhu morfismy do daného objektu. Jde o značné zobecnění z teorie grup (pokud se grupa vezme jako miniaturní kategorie pouze s jedním objektem a pouze isomorfismy). Umožňuje libovolné kategorie do kategorie funktorů (kontravariantních funktorů nad množinami) definovaných nad touto kategorií. Také objasňuje, jak se vnořená kategorie a jejich přirozených transformací chová ve vztahu k ostatním objektům v celé kategorii funktorů. Jde o důležitý nástroj, který stojí za mnoha moderními výsledky v algebraické geometrii a . Je pojmenováno po . (cs)
  • 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 erlaubt es, Begriffe, die aus der Kategorie der Mengen geläufig sind, auf beliebige Kategorien zu übertragen. (de)
  • El lema de Yoneda en teoría de las categorías nos permite una categoría en otra categoría de funtores definida sobre aquella, y clarifica cómo la categoría sumergida se relaciona con los objetos de la categoría de funtores que la sumerge. Es una herramienta importante que se encuentra subyacente a varios de los desarrollos modernos en geometría algebraica y teoría de la representación. Es una extensa generalización del teorema de Cayley de la teoría de grupos (todo grupo es un monoide, que es a su vez una categoría con un solo objeto). (es)
  • 米田の補題(よねだのほだい、英: Yoneda lemma)とは、小さなhom集合をもつ圏 C について、共変あるいは反変hom関手 hom(A , _), hom(_, A) から集合値関手 F への自然変換と、値となる集合 F(A) の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マックレーンにより名付けられた。その主張は、マックレーンによれば、米田の仕事に早くから現れていたという。ただし、エミリー・リール (Emily Riehl) によれば、この補題が初めて (明示的に) 論文に登場したのは である。 米田の補題は、普遍性という概念の根幹に関わる重要な補題であり、また、圏論において「間違いなく最も重要な結果である」「もしかしたら最も利用されているただ1つの結果かもしれない」と言われている。 (ja)
  • In mathematics, the Yoneda lemma is arguably the most important result in category theory. 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 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. (en)
  • 범주론에서 요네다 보조정리([米田]補助定理, 영어: Yoneda lemma)는 특정한 범주를 집합의 범주에 묻는 함자에 대한 보조정리다. 군론의 케일리의 정리(Cayley’s theorem)를 크게 일반화한 것이다. 대수기하학과 표현론에서 중요하게 쓰인다. (ko)
  • In matematica, il lemma di Yoneda è un risultato fondamentale nella teoria delle categorie. Nella sua forma più debole afferma che ogni categoria può essere considerata come una sottocategoria dei funtori contravarianti da essa alla categoria di insiemi. (it)
  • Lemat Yonedy – podstawowe narzędzie w wielu zagadnieniach teorii kategorii i w jej zastosowaniach do innych dziedzin matematyki, zwłaszcza do geometrii algebraicznej. Lemat ten dotyczy funktorów reprezentowalnych poprzez funktory główne (zwane też hom-funktorami) i opisuje ogólną postać transformacji naturalnych tych funktorów. Stosuje się go m.in. przy zanurzaniu danej kategorii w kategorię funktorów oraz przy pewnych zagadnieniach jednoznacznej faktoryzacji. (pl)
  • Лемма Йонеды — результат о функторе Hom; теоретико-категорное обобщение классической теорико-групповой теоремы Кэли (если рассматривать группу как категорию из одного объекта). Лемма позволяет рассмотреть вложение произвольной категории в категорию функторов из неё в категорию множеств. Является важным инструментом, позволившим получить множество результатов в алгебраической геометрии и теории представлений. (ru)
  • Na teoria das categorias, o lema de Yoneda diz que há bijeção, natural no objeto e no functor , levando cada transformação natural ao elemento . O nome do resultado, referenciando o matemático japonês , foi escolhido por Saunders Mac Lane, após um encontro na França. (pt)
  • 在範疇論中,米田引理斷言一個對象的性質由它所表示的函子或决定。此引理得名于日本數學家暨計算機科學家。 (zh)
  • В теорії категорій, лема Йонеди — абстрактний результат про властивості функтора Hom. Вона є узагальненням теореми Келі в теорії груп (якщо розглядати групу як категорію з одним об'єктом). Лема дозволяє розглянути вкладення довільної категорії в категорію функторів з неї в Set. Лема Йонеди — важливий інструмент, який дозволив отримати багато важливих результатів в алгебраїчній геометрії і теорії представлень. (uk)
  • En théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet). Une des conséquences du lemme de Yoneda est le théorème des (en), qui a de nombreuses utilisations en homologie et en géométrie algébrique. (fr)
rdfs:label
  • Jonedovo lemma (cs)
  • Lemma von Yoneda (de)
  • Lema de Yoneda (es)
  • Lemme de Yoneda (fr)
  • Lemma di Yoneda (it)
  • 요네다 보조정리 (ko)
  • 米田の補題 (ja)
  • Lemat Yonedy (pl)
  • Lema de Yoneda (pt)
  • Лемма Йонеды (ru)
  • Yoneda lemma (en)
  • Лема Йонеди (uk)
  • 米田引理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License