See adjunction on Wiktionary
{
"derived": [
{
"_dis1": "0 0 0 0 0 0",
"word": "biadjunction"
}
],
"etymology_templates": [
{
"args": {
"1": "en",
"2": "ine-pro",
"3": "*yewg-"
},
"expansion": "",
"name": "root"
},
{
"args": {
"1": "en",
"2": "la",
"3": "adjunctio"
},
"expansion": "Latin adjunctio",
"name": "uder"
},
{
"args": {
"1": "en",
"2": "fr",
"3": "adjonction"
},
"expansion": "French adjonction",
"name": "uder"
}
],
"etymology_text": "From Latin adjunctio, from adjungere: compare French adjonction, and see adjunct.",
"forms": [
{
"form": "adjunctions",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~"
},
"expansion": "adjunction (countable and uncountable, plural adjunctions)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"_dis": "11 1 6 17 31 33",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "15 3 4 19 28 31",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "13 2 9 14 28 33",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 1 2 17 28 34",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"The act of joining; the thing joined or added."
],
"id": "en-adjunction-en-noun-en:joining",
"links": [
[
"join",
"join"
]
],
"senseid": [
"en:joining"
],
"tags": [
"countable",
"uncountable"
],
"translations": [
{
"_dis1": "84 10 2 1 2 2",
"code": "pl",
"lang": "Polish",
"sense": "the act of joining",
"tags": [
"feminine"
],
"word": "adiunkcja"
},
{
"_dis1": "84 10 2 1 2 2",
"code": "pt",
"lang": "Portuguese",
"sense": "the act of joining",
"tags": [
"feminine"
],
"word": "adjunção"
}
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Law",
"orig": "en:Law",
"parents": [
"Justice",
"Society",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"glosses": [
"The joining of personal property owned by one to that owned by another."
],
"id": "en-adjunction-en-noun-en:legal",
"links": [
[
"law",
"law#English"
],
[
"personal property",
"personal property"
]
],
"raw_glosses": [
"(law) The joining of personal property owned by one to that owned by another."
],
"senseid": [
"en:legal"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"law"
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Algebra",
"orig": "en:Algebra",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Number theory",
"orig": "en:Number theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"text": "The ring obtained after the adjunction of the elements a,b and y to the ring R may be denoted R#91;a,b,y#93;.",
"type": "example"
},
{
"text": "The field adjunction #92;mathbb#123;Q#125;(#92;pi) can be obtained from #92;mathbb#123;Q#125; by adjoining #92;pi to #92;mathbb#123;Q#125;.",
"type": "example"
}
],
"glosses": [
"The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process."
],
"id": "en-adjunction-en-noun-dqGNkwoE",
"links": [
[
"mathematics",
"mathematics"
],
[
"algebra",
"algebra"
],
[
"number theory",
"number theory"
],
[
"adjoin",
"adjoin"
],
[
"algebraic structure",
"algebraic structure"
],
[
"ring",
"ring"
],
[
"field",
"field"
]
],
"raw_glosses": [
"(mathematics, chiefly algebra and number theory) The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"algebra",
"mathematics",
"number-theory",
"sciences"
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "11 1 6 17 31 33",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "15 3 4 19 28 31",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "13 2 9 14 28 33",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 1 2 17 28 34",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"A relationship between a pair of categories that makes the pair, in a weak sense, equivalent."
],
"hyponyms": [
{
"word": "equivalence of categories"
},
{
"word": "isomorphism of categories"
},
{
"word": "Galois connection"
}
],
"id": "en-adjunction-en-noun-mjWL-6Om",
"links": [
[
"category theory",
"category theory"
],
[
"categories",
"category"
]
],
"raw_glosses": [
"(category theory, loosely) A relationship between a pair of categories that makes the pair, in a weak sense, equivalent."
],
"tags": [
"broadly",
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"translations": [
{
"_dis1": "3 1 5 38 27 27",
"code": "pl",
"lang": "Polish",
"sense": "a form of similarity between a pair of categories mapped to each other by dual morphisms",
"tags": [
"feminine"
],
"word": "adiunkcja"
}
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "11 1 6 17 31 33",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "15 3 4 19 28 31",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "13 2 9 14 28 33",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 1 2 17 28 34",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object."
],
"id": "en-adjunction-en-noun-en:category",
"links": [
[
"category theory",
"category theory"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"functor",
"functor"
],
[
"co",
"codomain"
],
[
"domain",
"domain"
],
[
"object",
"object"
]
],
"qualifier": "strictly",
"raw_glosses": [
"(category theory, strictly) A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "11 1 6 17 31 33",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "14 3 9 17 25 32",
"kind": "other",
"name": "English undefined derivations",
"parents": [
"Undefined derivations",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "15 3 4 19 28 31",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "13 2 9 14 28 33",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 1 2 17 28 34",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 3 7 19 23 31",
"kind": "other",
"name": "Terms with Bulgarian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 4 7 18 22 31",
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "16 4 8 19 23 30",
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w+disamb"
}
],
"examples": [
{
"text": "Meronyms: adjoint, left adjoint, right adjoint"
}
],
"glosses": [
"A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object.",
"A natural isomorphism Φ: operatorname Hom_( mathcal )C(G·,·)→ operatorname Hom_( mathcal )D(·,F·) (where the hom-functors are understood as bifunctors from 𝒟^( operatorname )op×𝒞 to mathbf Set). See Adjoint functors on Wikipedia.Wikipedia."
],
"id": "en-adjunction-en-noun-en:category1",
"links": [
[
"category theory",
"category theory"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"functor",
"functor"
],
[
"co",
"codomain"
],
[
"domain",
"domain"
],
[
"object",
"object"
],
[
"covariant",
"covariant"
],
[
"bifunctor",
"bifunctor"
],
[
"Adjoint functors",
"w:Adjoint functors"
]
],
"qualifier": "strictly",
"raw_glosses": [
"(category theory, strictly) A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object.",
"(formally, given two categories 𝒞 and 𝒟 and (covariant) functors F:𝒞→𝒟 and G:𝒟→𝒞) A natural isomorphism Φ: operatorname Hom_( mathcal )C(G·,·)→ operatorname Hom_( mathcal )D(·,F·) (where the hom-functors are understood as bifunctors from 𝒟^( operatorname )op×𝒞 to mathbf Set). See Adjoint functors on Wikipedia.Wikipedia."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"formal",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
}
],
"sounds": [
{
"audio": "LL-Q1860 (eng)-Flame, not lame-adjunction.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/9/95/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/9/95/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav.ogg"
}
],
"wikipedia": [
"adjunction"
],
"word": "adjunction"
}
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English nouns",
"English terms derived from French",
"English terms derived from Latin",
"English terms derived from Proto-Indo-European",
"English terms derived from the Proto-Indo-European root *yewg-",
"English uncountable nouns",
"English undefined derivations",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Requests for review of Bulgarian translations",
"Terms with Bulgarian translations",
"Terms with Polish translations",
"Terms with Portuguese translations"
],
"derived": [
{
"word": "biadjunction"
}
],
"etymology_templates": [
{
"args": {
"1": "en",
"2": "ine-pro",
"3": "*yewg-"
},
"expansion": "",
"name": "root"
},
{
"args": {
"1": "en",
"2": "la",
"3": "adjunctio"
},
"expansion": "Latin adjunctio",
"name": "uder"
},
{
"args": {
"1": "en",
"2": "fr",
"3": "adjonction"
},
"expansion": "French adjonction",
"name": "uder"
}
],
"etymology_text": "From Latin adjunctio, from adjungere: compare French adjonction, and see adjunct.",
"forms": [
{
"form": "adjunctions",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~"
},
"expansion": "adjunction (countable and uncountable, plural adjunctions)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"glosses": [
"The act of joining; the thing joined or added."
],
"links": [
[
"join",
"join"
]
],
"senseid": [
"en:joining"
],
"tags": [
"countable",
"uncountable"
]
},
{
"categories": [
"en:Law"
],
"glosses": [
"The joining of personal property owned by one to that owned by another."
],
"links": [
[
"law",
"law#English"
],
[
"personal property",
"personal property"
]
],
"raw_glosses": [
"(law) The joining of personal property owned by one to that owned by another."
],
"senseid": [
"en:legal"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"law"
]
},
{
"categories": [
"English terms with usage examples",
"en:Algebra",
"en:Mathematics",
"en:Number theory"
],
"examples": [
{
"text": "The ring obtained after the adjunction of the elements a,b and y to the ring R may be denoted R#91;a,b,y#93;.",
"type": "example"
},
{
"text": "The field adjunction #92;mathbb#123;Q#125;(#92;pi) can be obtained from #92;mathbb#123;Q#125; by adjoining #92;pi to #92;mathbb#123;Q#125;.",
"type": "example"
}
],
"glosses": [
"The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"algebra",
"algebra"
],
[
"number theory",
"number theory"
],
[
"adjoin",
"adjoin"
],
[
"algebraic structure",
"algebraic structure"
],
[
"ring",
"ring"
],
[
"field",
"field"
]
],
"raw_glosses": [
"(mathematics, chiefly algebra and number theory) The process of adjoining elements to an algebraic structure (usually a ring or field); the result of such a process."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"algebra",
"mathematics",
"number-theory",
"sciences"
]
},
{
"categories": [
"en:Category theory"
],
"glosses": [
"A relationship between a pair of categories that makes the pair, in a weak sense, equivalent."
],
"hyponyms": [
{
"word": "equivalence of categories"
},
{
"word": "isomorphism of categories"
},
{
"word": "Galois connection"
}
],
"links": [
[
"category theory",
"category theory"
],
[
"categories",
"category"
]
],
"raw_glosses": [
"(category theory, loosely) A relationship between a pair of categories that makes the pair, in a weak sense, equivalent."
],
"tags": [
"broadly",
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
},
{
"categories": [
"en:Category theory"
],
"glosses": [
"A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object."
],
"links": [
[
"category theory",
"category theory"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"functor",
"functor"
],
[
"co",
"codomain"
],
[
"domain",
"domain"
],
[
"object",
"object"
]
],
"qualifier": "strictly",
"raw_glosses": [
"(category theory, strictly) A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
},
{
"categories": [
"en:Category theory"
],
"examples": [
{
"text": "Meronyms: adjoint, left adjoint, right adjoint"
}
],
"glosses": [
"A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object.",
"A natural isomorphism Φ: operatorname Hom_( mathcal )C(G·,·)→ operatorname Hom_( mathcal )D(·,F·) (where the hom-functors are understood as bifunctors from 𝒟^( operatorname )op×𝒞 to mathbf Set). See Adjoint functors on Wikipedia.Wikipedia."
],
"links": [
[
"category theory",
"category theory"
],
[
"natural isomorphism",
"natural isomorphism"
],
[
"functor",
"functor"
],
[
"co",
"codomain"
],
[
"domain",
"domain"
],
[
"object",
"object"
],
[
"covariant",
"covariant"
],
[
"bifunctor",
"bifunctor"
],
[
"Adjoint functors",
"w:Adjoint functors"
]
],
"qualifier": "strictly",
"raw_glosses": [
"(category theory, strictly) A natural isomorphism between a pair of functors satisfying certain conditions, whose existence implies a close relationship between the functors and between their (co)domains; the natural isomorphism, functors, and their (co)domains thought of as a single object.",
"(formally, given two categories 𝒞 and 𝒟 and (covariant) functors F:𝒞→𝒟 and G:𝒟→𝒞) A natural isomorphism Φ: operatorname Hom_( mathcal )C(G·,·)→ operatorname Hom_( mathcal )D(·,F·) (where the hom-functors are understood as bifunctors from 𝒟^( operatorname )op×𝒞 to mathbf Set). See Adjoint functors on Wikipedia.Wikipedia."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"formal",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
}
],
"sounds": [
{
"audio": "LL-Q1860 (eng)-Flame, not lame-adjunction.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/9/95/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/9/95/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-adjunction.wav.ogg"
}
],
"translations": [
{
"code": "pl",
"lang": "Polish",
"sense": "the act of joining",
"tags": [
"feminine"
],
"word": "adiunkcja"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "the act of joining",
"tags": [
"feminine"
],
"word": "adjunção"
},
{
"code": "pl",
"lang": "Polish",
"sense": "a form of similarity between a pair of categories mapped to each other by dual morphisms",
"tags": [
"feminine"
],
"word": "adiunkcja"
}
],
"wikipedia": [
"adjunction"
],
"word": "adjunction"
}
Download raw JSONL data for adjunction meaning in All languages combined (7.2kB)
{
"called_from": "form_descriptions/1831",
"msg": "unrecognized sense qualifier: formally, given two categories 𝒞 and 𝒟 and (covariant) functors F:𝒞→𝒟 and G:𝒟→𝒞",
"path": [
"adjunction"
],
"section": "English",
"subsection": "noun",
"title": "adjunction",
"trace": ""
}
{
"called_from": "form_descriptions/1831",
"msg": "unrecognized sense qualifier: formally, given two categories 𝒞 and 𝒟 and (covariant) functors F:𝒞→𝒟 and G:𝒟→𝒞",
"path": [
"adjunction"
],
"section": "English",
"subsection": "noun",
"title": "adjunction",
"trace": ""
}
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-01-13 from the enwiktionary dump dated 2025-01-01 using wiktextract (4ba5975 and 4ed51a5). 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.