See contravariance in All languages combined, or Wiktionary
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "contra-",
"3": "variance"
},
"expansion": "contra- + variance",
"name": "af"
}
],
"etymology_text": "From contra- + variance.",
"forms": [
{
"form": "contravariances",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~"
},
"expansion": "contravariance (countable and uncountable, plural contravariances)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"related": [
{
"_dis1": "0 0 0",
"word": "contravariant"
}
],
"senses": [
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Object-oriented programming",
"orig": "en:Object-oriented programming",
"parents": [
"Programming",
"Computing",
"Software engineering",
"Technology",
"Computer science",
"Engineering",
"Software",
"All topics",
"Sciences",
"Applied sciences",
"Media",
"Fundamental",
"Communication"
],
"source": "w"
},
{
"_dis": "58 22 20",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "40 25 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "48 23 29",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "65 16 19",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 14 18",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "53 21 26",
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "51 22 27",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "53 20 27",
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "55 20 25",
"kind": "other",
"name": "Terms with Kazakh translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "47 29 25",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "56 19 25",
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "55 22 23",
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "55 21 23",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
}
],
"examples": [
{
"text": "Coordinate term: covariance"
},
{
"ref": "2005, Jesse Liberty, Visual C# 2005: A Developer's Notebook, O'Reilly Media, →ISBN, page 47:",
"text": "I get why with covariance I can return a Dog (a Dog is a Mammal), but why does contravariance work the other way? Shouldn't it accept a derived type when it expects a base type? Contravariance is consistent with Postel's Law: […]",
"type": "quote"
}
],
"glosses": [
"The reversal of the order of data types acted upon by an operator."
],
"id": "en-contravariance-en-noun-~PfKd9Z5",
"links": [
[
"object-oriented programming",
"object-oriented programming"
],
[
"reversal",
"reversal"
],
[
"order",
"order"
],
[
"data",
"data"
],
[
"types",
"types"
],
[
"operator",
"operator"
]
],
"qualifier": "object-oriented programming",
"raw_glosses": [
"(object-oriented programming) The reversal of the order of data types acted upon by an operator."
],
"tags": [
"countable",
"uncountable"
],
"translations": [
{
"_dis1": "93 4 3",
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆變"
},
{
"_dis1": "93 4 3",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "nìbiàn",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆变"
},
{
"_dis1": "93 4 3",
"code": "fi",
"lang": "Finnish",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "kontravarianssi"
},
{
"_dis1": "93 4 3",
"code": "fr",
"lang": "French",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariance"
},
{
"_dis1": "93 4 3",
"code": "de",
"lang": "German",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "Kontravarianz"
},
{
"_dis1": "93 4 3",
"code": "kk",
"lang": "Kazakh",
"roman": "kontravarianttyq",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "контраварианттық"
},
{
"_dis1": "93 4 3",
"code": "pt",
"lang": "Portuguese",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariância"
},
{
"_dis1": "93 4 3",
"code": "ro",
"lang": "Romanian",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravarianță"
},
{
"_dis1": "93 4 3",
"code": "ru",
"lang": "Russian",
"roman": "kontravariantnostʹ",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "контравариантность"
}
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "40 25 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "21 46 33",
"kind": "topical",
"langcode": "en",
"name": "Algebra",
"orig": "en:Algebra",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w+disamb"
},
{
"_dis": "22 44 33",
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w+disamb"
}
],
"glosses": [
"A functor which reverses composition."
],
"id": "en-contravariance-en-noun-RMFHPLmZ",
"links": [
[
"category theory",
"category theory"
],
[
"functor",
"functor"
],
[
"composition",
"composition"
]
],
"raw_glosses": [
"(category theory) A functor which reverses composition."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"translations": [
{
"_dis1": "2 95 4",
"code": "fi",
"lang": "Finnish",
"sense": "functor which reverses composition",
"word": "kontravarianssi"
},
{
"_dis1": "2 95 4",
"code": "de",
"lang": "German",
"sense": "functor which reverses composition",
"tags": [
"masculine"
],
"word": "Kofunktor"
}
]
},
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Linear algebra",
"orig": "en:Linear algebra",
"parents": [
"Algebra",
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "40 25 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance."
],
"id": "en-contravariance-en-noun-dzabBBnP",
"links": [
[
"linear algebra",
"linear algebra"
]
],
"raw_glosses": [
"(linear algebra) Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"linear-algebra",
"mathematics",
"sciences"
]
}
],
"sounds": [
{
"audio": "LL-Q1860 (eng)-Flame, not lame-contravariance.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/18/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/18/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav.ogg"
}
],
"word": "contravariance"
}
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English nouns",
"English terms prefixed with contra-",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 2 entries",
"Pages with entries",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Kazakh translations",
"Terms with Mandarin translations",
"Terms with Portuguese translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"en:Algebra",
"en:Mathematics"
],
"etymology_templates": [
{
"args": {
"1": "en",
"2": "contra-",
"3": "variance"
},
"expansion": "contra- + variance",
"name": "af"
}
],
"etymology_text": "From contra- + variance.",
"forms": [
{
"form": "contravariances",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "~"
},
"expansion": "contravariance (countable and uncountable, plural contravariances)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"related": [
{
"word": "contravariant"
}
],
"senses": [
{
"categories": [
"English terms with quotations",
"en:Object-oriented programming"
],
"examples": [
{
"text": "Coordinate term: covariance"
},
{
"ref": "2005, Jesse Liberty, Visual C# 2005: A Developer's Notebook, O'Reilly Media, →ISBN, page 47:",
"text": "I get why with covariance I can return a Dog (a Dog is a Mammal), but why does contravariance work the other way? Shouldn't it accept a derived type when it expects a base type? Contravariance is consistent with Postel's Law: […]",
"type": "quote"
}
],
"glosses": [
"The reversal of the order of data types acted upon by an operator."
],
"links": [
[
"object-oriented programming",
"object-oriented programming"
],
[
"reversal",
"reversal"
],
[
"order",
"order"
],
[
"data",
"data"
],
[
"types",
"types"
],
[
"operator",
"operator"
]
],
"qualifier": "object-oriented programming",
"raw_glosses": [
"(object-oriented programming) The reversal of the order of data types acted upon by an operator."
],
"tags": [
"countable",
"uncountable"
]
},
{
"categories": [
"en:Category theory"
],
"glosses": [
"A functor which reverses composition."
],
"links": [
[
"category theory",
"category theory"
],
[
"functor",
"functor"
],
[
"composition",
"composition"
]
],
"raw_glosses": [
"(category theory) A functor which reverses composition."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
},
{
"categories": [
"en:Linear algebra"
],
"glosses": [
"Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance."
],
"links": [
[
"linear algebra",
"linear algebra"
]
],
"raw_glosses": [
"(linear algebra) Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance."
],
"tags": [
"countable",
"uncountable"
],
"topics": [
"linear-algebra",
"mathematics",
"sciences"
]
}
],
"sounds": [
{
"audio": "LL-Q1860 (eng)-Flame, not lame-contravariance.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/18/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/18/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav/LL-Q1860_%28eng%29-Flame%2C_not_lame-contravariance.wav.ogg"
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆變"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "nìbiàn",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆变"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "kontravarianssi"
},
{
"code": "fr",
"lang": "French",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariance"
},
{
"code": "de",
"lang": "German",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "Kontravarianz"
},
{
"code": "kk",
"lang": "Kazakh",
"roman": "kontravarianttyq",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "контраварианттық"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariância"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravarianță"
},
{
"code": "ru",
"lang": "Russian",
"roman": "kontravariantnostʹ",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "контравариантность"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "functor which reverses composition",
"word": "kontravarianssi"
},
{
"code": "de",
"lang": "German",
"sense": "functor which reverses composition",
"tags": [
"masculine"
],
"word": "Kofunktor"
}
],
"word": "contravariance"
}
Download raw JSONL data for contravariance meaning in English (5.0kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-12-21 from the enwiktionary dump dated 2024-12-04 using wiktextract (d8cb2f3 and 4e554ae). 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.