Yoneda lemma (original) (raw)
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 .
| 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 | wiki-commons:Special:FilePath/Yoneda_lemma_cd.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html |
| dbo:wikiPageID | 34359 (xsd:integer) |
| dbo:wikiPageLength | 17539 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1111057321 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Categories_for_the_Working_Mathematician dbr:Saunders_Mac_Lane dbr:End_(category_theory) dbr:Mizar_system dbr:Module_(mathematics) dbr:Representation_theory dbr:Subcategory dbr:Bilinear_operator dbr:Hom-set dbr:Permutation dbr:Presheaf_(category_theory) dbc:Articles_containing_proofs dbr:Mathematics dbr:Natural_transformation dbr:Function_(mathematics) dbr:Gare_du_Nord dbr:Morphism dbr:Equivariant_map dbr:Hom-functor dbr:Commutative_diagram dbr:Full_and_faithful_functors dbr:Functor dbr:Functor_category dbr:Subgroup dbr:Category_of_sets dbr:Topoi dbr:Covariant_functor dbr:Representation_theorem dbr:Additive_functor dbr:Alexander_Grothendieck dbr:Algebraic_geometry dbc:Representable_functors dbr:Nobuo_Yoneda dbr:Cayley's_theorem dbr:Graduate_Texts_in_Mathematics dbr:Isomorphism dbr:Ring_(mathematics) dbr:Group_(mathematics) dbr:Group_homomorphism dbr:Hiragana dbr:Preadditive_category dbr:Abelian_category dbr:Abelian_group dbr:Kana dbr:Yo_(kana) dbr:Contravariant_functor dbr:Group_theory dbr:Groupoid dbr:Natural_isomorphism dbr:Category_theory dbr:Sheaf_(mathematics) dbc:Lemmas_in_category_theory dbr:Representable_functor dbr:Éléments_de_géométrie_algébrique dbr:Springer-Verlag dbr:G-set dbr:Category_of_functors dbr:Covariance_and_contravariance_of_functors dbr:Module_category dbr:Locally_small dbr:Locally_small_category dbr:File:Yoneda_lemma_cd.svg |
| dbp:id | Yoneda+lemma (en) |
| dbp:title | Yoneda lemma (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Cite_arXiv dbt:Cite_journal dbt:Efn dbt:Main dbt:Nlab dbt:Notelist dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfnp dbt:Short_description dbt:Math_theorem |
| dct:subject | dbc:Articles_containing_proofs dbc:Representable_functors dbc:Lemmas_in_category_theory |
| gold:hypernym | dbr:Result |
| rdf:type | yago:WikicatLemmas yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Communication100033020 yago:Lemma106751833 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| 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 | freebase:Yoneda lemma yago-res:Yoneda lemma wikidata:Yoneda lemma dbpedia-cs:Yoneda lemma dbpedia-de:Yoneda lemma dbpedia-es:Yoneda lemma dbpedia-fa:Yoneda lemma dbpedia-fr:Yoneda lemma dbpedia-it:Yoneda lemma dbpedia-ja:Yoneda lemma dbpedia-ko:Yoneda lemma dbpedia-pl:Yoneda lemma dbpedia-pt:Yoneda lemma dbpedia-ru:Yoneda lemma dbpedia-uk:Yoneda lemma dbpedia-zh:Yoneda lemma https://global.dbpedia.org/id/2x6sm |
| prov:wasDerivedFrom | wikipedia-en:Yoneda_lemma?oldid=1111057321&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Yoneda_lemma_cd.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Yoneda_lemma |
| is dbo:knownFor of | dbr:Nobuo_Yoneda |
| is dbo:wikiPageRedirects of | dbr:Yoneda_Lemma dbr:Yoneda_embedding dbr:Yoneda`s_lemma dbr:Yoneda'a_lemma dbr:Yoneda's_Lemma dbr:Yoneda's_lemma dbr:Yoneda_arrow dbr:Yoneda_functor |
| is dbo:wikiPageWikiLink of | dbr:Robert_Rosen_(biologist) dbr:Saunders_Mac_Lane dbr:Element_(category_theory) dbr:Elementary_matrix dbr:List_of_computer_scientists dbr:List_of_functional_programming_topics dbr:Index_of_Japan-related_articles_(Y–Z) dbr:Limit_and_colimit_of_presheaves dbr:List_of_lemmas dbr:List_of_programmers dbr:Timeline_of_category_theory_and_related_mathematics dbr:Natural_transformation dbr:Glossary_of_category_theory dbr:Functor_category dbr:Functor_represented_by_a_scheme dbr:Hopf_algebroid dbr:A¹_homotopy_theory dbr:Category_of_elements dbr:Representation_theorem dbr:Nobuo_Yoneda dbr:Cayley's_theorem dbr:History_of_topos_theory dbr:Kan_fibration dbr:Lemma_(mathematics) dbr:Abstract_nonsense dbr:Affine_Grassmannian dbr:Cohomology_operation dbr:Eilenberg–MacLane_space dbr:Topos dbr:Grothendieck's_relative_point_of_view dbr:Grothendieck_topology dbr:Group_scheme dbr:Category_theory dbr:Yoneda_Lemma dbr:Yoneda_embedding dbr:Exact_category dbr:Simplicial_set dbr:Outline_of_category_theory dbr:Subfunctor dbr:Yoneda`s_lemma dbr:Yoneda'a_lemma dbr:Yoneda's_Lemma dbr:Yoneda's_lemma dbr:Yoneda_arrow dbr:Yoneda_functor |
| is dbp:knownFor of | dbr:Nobuo_Yoneda |
| is foaf:primaryTopic of | wikipedia-en:Yoneda_lemma |
