See contravariance on 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": "other",
"langcode": "en",
"name": "Object-oriented programming",
"orig": "en:Object-oriented programming",
"parents": [],
"source": "w"
},
{
"_dis": "51 31 18",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "37 27 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "37 37 26",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "59 24 18",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "61 23 16",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "41 32 26",
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 33 27",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "41 32 26",
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "46 28 26",
"kind": "other",
"name": "Terms with Kazakh translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "36 40 24",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "46 28 26",
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "43 34 23",
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "43 35 22",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
}
],
"examples": [
{
"text": "Coordinate term: covariance"
},
{
"bold_text_offsets": [
[
79,
93
],
[
178,
192
]
],
"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",
"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": "other",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [],
"source": "w"
},
{
"_dis": "37 27 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "37 37 26",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 33 27",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "36 40 24",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "43 35 22",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "2 51 48",
"kind": "other",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [],
"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": "3 94 3",
"code": "fi",
"lang": "Finnish",
"sense": "functor which reverses composition",
"word": "kontravarianssi"
},
{
"_dis1": "3 94 3",
"code": "de",
"lang": "German",
"sense": "functor which reverses composition",
"tags": [
"masculine"
],
"word": "Kofunktor"
}
]
},
{
"categories": [
{
"kind": "other",
"langcode": "en",
"name": "Linear algebra",
"orig": "en:Linear algebra",
"parents": [],
"source": "w"
},
{
"_dis": "37 27 35",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "37 37 26",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 33 27",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "36 40 24",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "43 35 22",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "0 36 64",
"kind": "other",
"langcode": "en",
"name": "Algebra",
"orig": "en:Algebra",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "2 51 48",
"kind": "other",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"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"
}
{
"forms": [
{
"form": "contravariances",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "f"
},
"expansion": "contravariance f (plural contravariances)",
"name": "fr-noun"
}
],
"lang": "French",
"lang_code": "fr",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "French entries with incorrect language header",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"langcode": "fr",
"name": "Object-oriented programming",
"orig": "fr:Object-oriented programming",
"parents": [],
"source": "w"
}
],
"glosses": [
"contravariance"
],
"id": "en-contravariance-fr-noun-DA64C5Ls",
"links": [
[
"object-oriented programming",
"object-oriented programming"
],
[
"contravariance",
"contravariance#English"
]
],
"qualifier": "object-oriented programming",
"raw_glosses": [
"(object-oriented programming) contravariance"
],
"tags": [
"feminine"
]
}
],
"sounds": [
{
"audio": "LL-Q150 (fra)-LoquaxFR-contravariance.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/6/66/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/6/66/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav/LL-Q150_%28fra%29-LoquaxFR-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"
},
{
"bold_text_offsets": [
[
79,
93
],
[
178,
192
]
],
"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",
"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"
}
{
"forms": [
{
"form": "contravariances",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "f"
},
"expansion": "contravariance f (plural contravariances)",
"name": "fr-noun"
}
],
"lang": "French",
"lang_code": "fr",
"pos": "noun",
"senses": [
{
"categories": [
"French countable nouns",
"French entries with incorrect language header",
"French feminine nouns",
"French lemmas",
"French nouns",
"Pages with 2 entries",
"Pages with entries",
"fr:Object-oriented programming"
],
"glosses": [
"contravariance"
],
"links": [
[
"object-oriented programming",
"object-oriented programming"
],
[
"contravariance",
"contravariance#English"
]
],
"qualifier": "object-oriented programming",
"raw_glosses": [
"(object-oriented programming) contravariance"
],
"tags": [
"feminine"
]
}
],
"sounds": [
{
"audio": "LL-Q150 (fra)-LoquaxFR-contravariance.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/6/66/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/6/66/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav/LL-Q150_%28fra%29-LoquaxFR-contravariance.wav.ogg"
}
],
"word": "contravariance"
}
Download raw JSONL data for contravariance meaning in All languages combined (6.1kB)
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-05-16 from the enwiktionary dump dated 2025-05-01 using wiktextract (142890b and 1d3fdbf). 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.