See Yoneda lemma in All languages combined, or Wiktionary
{
"etymology_text": "Lemma named after the Japanese mathematician Nobuo Yoneda (1930–1996).",
"head_templates": [
{
"args": {
"1": "?"
},
"expansion": "Yoneda lemma",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Italian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Japanese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Korean translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"text": "As a corollary of the Yoneda lemma, given a pair of contravariant hom functors #92;mbox#123;Hom#125;(-,A) and #92;mbox#123;Hom#125;(-,B), then any natural transformation #92;alpha from #92;mbox#123;Hom#125;(-,A) to #92;mbox#123;Hom#125;(-,B) is determined by the choice of some function f#58;A#92;rightarrowB to map the identity #92;mbox#123;id#125;#95;A#58;A#92;rightarrowA to, by the component #92;alpha#95;A#58;#92;mbox#123;Hom#125;(A,A)#92;rightarrow#92;mbox#123;Hom#125;(A,B) of #92;alpha. This implies that the Yoneda functor is fully faithful, which in turn implies that Yoneda embeddings are possible.",
"type": "example"
},
{
"text": "• Yoneda Lemma: Nat(Hom(A,–), F) ≅ F(A)\n∴ Nat(Hom(A,–), Hom(B,–)) ≅ Hom(B,A)\n∴ A ≅ B iff Hom(A,–) ≅ Hom(B,–)\ni.e. A is isomorphic to B if and only if A's network of relations is isomorphic to B's network of relations.",
"type": "example"
},
{
"ref": "2020, Emily Riehl, quoting Fred E. J. Linton, The Yoneda lemma in the category of Matrices:",
"text": "And then there's the Yoneda Lemma embodied in the classical Gaussian row reduction operation, that a given row reduction operation (on matrices with say k rows) being a \"natural\" operation (in the sense of natural transformations) is just multiplication (on the appropriate side) by the effect of that operation on the k-by-k identity matrix.\nAnd dually for column-reduction operations :-)",
"type": "quote"
}
],
"glosses": [
"Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)"
],
"id": "en-Yoneda_lemma-en-noun-jmn6Flxz",
"links": [
[
"category theory",
"category theory"
],
[
"category",
"category"
],
[
"hom functor",
"hom functor"
],
[
"represented",
"representable functor"
],
[
"functor",
"functor"
],
[
"representable",
"representable functor"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"natural transformation",
"natural transformation"
]
],
"raw_glosses": [
"(category theory) Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "Mǐtián yǐnlǐ",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "米田引理"
},
{
"code": "fr",
"lang": "French",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lemme de Yoneda"
},
{
"code": "de",
"lang": "German",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"neuter"
],
"word": "Lemma von Yoneda"
},
{
"code": "it",
"lang": "Italian",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lemma di Yoneda"
},
{
"code": "ja",
"english": "Yoneda no hodai",
"lang": "Japanese",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "米田の補題"
},
{
"code": "ko",
"english": "Yoneda bojojeongni",
"lang": "Korean",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "요네다 보조정리"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lema de Yoneda"
},
{
"code": "es",
"lang": "Spanish",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lema de Yoneda"
}
],
"wikipedia": [
"Yoneda lemma"
]
}
],
"word": "Yoneda lemma"
}
{
"etymology_text": "Lemma named after the Japanese mathematician Nobuo Yoneda (1930–1996).",
"head_templates": [
{
"args": {
"1": "?"
},
"expansion": "Yoneda lemma",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English eponyms",
"English lemmas",
"English multiword terms",
"English nouns",
"English nouns with unknown or uncertain plurals",
"English terms with quotations",
"English terms with usage examples",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with French translations",
"Terms with German translations",
"Terms with Italian translations",
"Terms with Japanese translations",
"Terms with Korean translations",
"Terms with Mandarin translations",
"Terms with Portuguese translations",
"Terms with Spanish translations",
"en:Category theory"
],
"examples": [
{
"text": "As a corollary of the Yoneda lemma, given a pair of contravariant hom functors #92;mbox#123;Hom#125;(-,A) and #92;mbox#123;Hom#125;(-,B), then any natural transformation #92;alpha from #92;mbox#123;Hom#125;(-,A) to #92;mbox#123;Hom#125;(-,B) is determined by the choice of some function f#58;A#92;rightarrowB to map the identity #92;mbox#123;id#125;#95;A#58;A#92;rightarrowA to, by the component #92;alpha#95;A#58;#92;mbox#123;Hom#125;(A,A)#92;rightarrow#92;mbox#123;Hom#125;(A,B) of #92;alpha. This implies that the Yoneda functor is fully faithful, which in turn implies that Yoneda embeddings are possible.",
"type": "example"
},
{
"text": "• Yoneda Lemma: Nat(Hom(A,–), F) ≅ F(A)\n∴ Nat(Hom(A,–), Hom(B,–)) ≅ Hom(B,A)\n∴ A ≅ B iff Hom(A,–) ≅ Hom(B,–)\ni.e. A is isomorphic to B if and only if A's network of relations is isomorphic to B's network of relations.",
"type": "example"
},
{
"ref": "2020, Emily Riehl, quoting Fred E. J. Linton, The Yoneda lemma in the category of Matrices:",
"text": "And then there's the Yoneda Lemma embodied in the classical Gaussian row reduction operation, that a given row reduction operation (on matrices with say k rows) being a \"natural\" operation (in the sense of natural transformations) is just multiplication (on the appropriate side) by the effect of that operation on the k-by-k identity matrix.\nAnd dually for column-reduction operations :-)",
"type": "quote"
}
],
"glosses": [
"Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)"
],
"links": [
[
"category theory",
"category theory"
],
[
"category",
"category"
],
[
"hom functor",
"hom functor"
],
[
"represented",
"representable functor"
],
[
"functor",
"functor"
],
[
"representable",
"representable functor"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"natural transformation",
"natural transformation"
]
],
"raw_glosses": [
"(category theory) Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"wikipedia": [
"Yoneda lemma"
]
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "Mǐtián yǐnlǐ",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "米田引理"
},
{
"code": "fr",
"lang": "French",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lemme de Yoneda"
},
{
"code": "de",
"lang": "German",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"neuter"
],
"word": "Lemma von Yoneda"
},
{
"code": "it",
"lang": "Italian",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lemma di Yoneda"
},
{
"code": "ja",
"english": "Yoneda no hodai",
"lang": "Japanese",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "米田の補題"
},
{
"code": "ko",
"english": "Yoneda bojojeongni",
"lang": "Korean",
"sense": "theorem which states that there is a natural isomorphism...",
"word": "요네다 보조정리"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lema de Yoneda"
},
{
"code": "es",
"lang": "Spanish",
"sense": "theorem which states that there is a natural isomorphism...",
"tags": [
"masculine"
],
"word": "lema de Yoneda"
}
],
"word": "Yoneda lemma"
}
Download raw JSONL data for Yoneda lemma meaning in English (4.9kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-01-25 from the enwiktionary dump dated 2025-01-20 using wiktextract (c15a5ce and 5c11237). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.