See adjunction in All languages combined, or Wiktionary
Download JSON data for adjunction meaning in English (4.8kB)
{
"derived": [
{
"_dis1": "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": "la",
"2": "adjungere"
},
"expansion": "adjungere",
"name": "m"
},
{
"args": {
"1": "en",
"2": "fr",
"3": "adjonction"
},
"expansion": "French adjonction",
"name": "uder"
},
{
"args": {
"1": "en",
"2": "adjunct"
},
"expansion": "adjunct",
"name": "m"
}
],
"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 41 49",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"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": "87 11 2",
"code": "pl",
"lang": "Polish",
"sense": "the act of joining",
"tags": [
"feminine"
],
"word": "adiunkcja"
},
{
"_dis1": "87 11 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"
},
{
"_dis": "11 41 49",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
}
],
"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": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "11 41 49",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "19 34 48",
"kind": "other",
"name": "English undefined derivations",
"parents": [
"Undefined derivations",
"Entry maintenance"
],
"source": "w+disamb"
}
],
"examples": [
{
"text": "Meronyms: adjoint, left adjoint, right adjoint"
}
],
"glosses": [
"Given a pair of categories 𝒞 and 𝒟: an anti-parallel pair of functors F:𝒞→𝒟 and G:𝒟→𝒞 and a natural transformation η: mbox id_C→GF called “unit” such that for any object A∈𝒞, for any object B∈𝒟, and for any morphism f:A→GB, there is a unique morphism g:FA→B such that Gg∘η_A=f. (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories."
],
"hyponyms": [
{
"word": "equivalence of categories"
},
{
"word": "isomorphism of categories"
},
{
"word": "Galois connection"
}
],
"id": "en-adjunction-en-noun-en:category",
"links": [
[
"category theory",
"category theory"
],
[
"functor",
"functor"
],
[
"natural transformation",
"natural transformation"
]
],
"raw_glosses": [
"(category theory) Given a pair of categories 𝒞 and 𝒟: an anti-parallel pair of functors F:𝒞→𝒟 and G:𝒟→𝒞 and a natural transformation η: mbox id_C→GF called “unit” such that for any object A∈𝒞, for any object B∈𝒟, and for any morphism f:A→GB, there is a unique morphism g:FA→B such that Gg∘η_A=f. (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"translations": [
{
"_dis1": "6 21 73",
"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"
}
{
"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",
"Requests for review of Bulgarian 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": "la",
"2": "adjungere"
},
"expansion": "adjungere",
"name": "m"
},
{
"args": {
"1": "en",
"2": "fr",
"3": "adjonction"
},
"expansion": "French adjonction",
"name": "uder"
},
{
"args": {
"1": "en",
"2": "adjunct"
},
"expansion": "adjunct",
"name": "m"
}
],
"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": [
"en:Category theory"
],
"examples": [
{
"text": "Meronyms: adjoint, left adjoint, right adjoint"
}
],
"glosses": [
"Given a pair of categories 𝒞 and 𝒟: an anti-parallel pair of functors F:𝒞→𝒟 and G:𝒟→𝒞 and a natural transformation η: mbox id_C→GF called “unit” such that for any object A∈𝒞, for any object B∈𝒟, and for any morphism f:A→GB, there is a unique morphism g:FA→B such that Gg∘η_A=f. (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories."
],
"hyponyms": [
{
"word": "equivalence of categories"
},
{
"word": "isomorphism of categories"
},
{
"word": "Galois connection"
}
],
"links": [
[
"category theory",
"category theory"
],
[
"functor",
"functor"
],
[
"natural transformation",
"natural transformation"
]
],
"raw_glosses": [
"(category theory) Given a pair of categories 𝒞 and 𝒟: an anti-parallel pair of functors F:𝒞→𝒟 and G:𝒟→𝒞 and a natural transformation η: mbox id_C→GF called “unit” such that for any object A∈𝒞, for any object B∈𝒟, and for any morphism f:A→GB, there is a unique morphism g:FA→B such that Gg∘η_A=f. (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories."
],
"senseid": [
"en:category"
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
}
],
"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"
}
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-01 from the enwiktionary dump dated 2024-04-21 using wiktextract (f4fd8c9 and c9440ce). 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.