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": "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": "59 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"
},
{
"_dis": "35 41 25",
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"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": "32 44 24",
"kind": "topical",
"langcode": "en",
"name": "Algebra",
"orig": "en:Algebra",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w+disamb"
},
{
"_dis": "35 41 25",
"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 96 3",
"code": "fi",
"lang": "Finnish",
"sense": "functor which reverses composition",
"word": "kontravarianssi"
},
{
"_dis1": "2 96 3",
"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"
},
{
"_dis": "35 41 25",
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"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"
]
}
],
"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": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "fr",
"name": "Object-oriented programming",
"orig": "fr:Object-oriented programming",
"parents": [
"Programming",
"Computing",
"Software engineering",
"Technology",
"Computer science",
"Engineering",
"Software",
"All topics",
"Sciences",
"Applied sciences",
"Media",
"Fundamental",
"Communication"
],
"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"
},
{
"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"
]
}
],
"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"
}
{
"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 (5.7kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). 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.