See contravariance on Wiktionary
Download JSON data for contravariance meaning in All languages combined (8.1kB)
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "contra-",
"3": "variance"
},
"expansion": "contra- + variance",
"name": "af"
}
],
"etymology_text": "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": "52 19 29",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "38 32 29",
"kind": "other",
"name": "English entries with topic categories using raw markup",
"parents": [
"Entries with topic categories using raw markup",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "36 24 40",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
}
],
"examples": [
{
"text": "Coordinate term: covariance"
},
{
"ref": "2005, Jesse Liberty, Visual C# 2005: A Developer's Notebook, O'Reilly Media, 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": "quotation"
}
],
"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": "91 5 5",
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆變"
},
{
"_dis1": "91 5 5",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "nìbiàn",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "逆变"
},
{
"_dis1": "91 5 5",
"code": "fi",
"lang": "Finnish",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "kontravarianssi"
},
{
"_dis1": "91 5 5",
"code": "fr",
"lang": "French",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariance"
},
{
"_dis1": "91 5 5",
"code": "de",
"lang": "German",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "Kontravarianz"
},
{
"_dis1": "91 5 5",
"code": "kk",
"lang": "Kazakh",
"roman": "kontravarianttyq",
"sense": "reversal of the order of data types acted upon by an operator",
"word": "контраварианттық"
},
{
"_dis1": "91 5 5",
"code": "pt",
"lang": "Portuguese",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravariância"
},
{
"_dis1": "91 5 5",
"code": "ro",
"lang": "Romanian",
"sense": "reversal of the order of data types acted upon by an operator",
"tags": [
"feminine"
],
"word": "contravarianță"
},
{
"_dis1": "91 5 5",
"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": "38 32 29",
"kind": "other",
"name": "English entries with topic categories using raw markup",
"parents": [
"Entries with topic categories using raw markup",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "36 24 40",
"kind": "other",
"name": "English terms prefixed with contra-",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "26 46 28",
"kind": "topical",
"langcode": "en",
"name": "Algebra",
"orig": "en:Algebra",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w+disamb"
},
{
"_dis": "28 42 29",
"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": "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": "topical",
"langcode": "en",
"name": "Linear algebra",
"orig": "en:Linear algebra",
"parents": [
"Algebra",
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "38 32 29",
"kind": "other",
"name": "English entries with topic categories using raw markup",
"parents": [
"Entries with topic categories using raw markup",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "36 24 40",
"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"
]
}
],
"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": "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",
"text": "Audio"
}
],
"word": "contravariance"
}
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English entries with topic categories using raw markup",
"English lemmas",
"English nouns",
"English terms prefixed with contra-",
"English uncountable nouns",
"en:Algebra",
"en:Mathematics"
],
"etymology_templates": [
{
"args": {
"1": "en",
"2": "contra-",
"3": "variance"
},
"expansion": "contra- + variance",
"name": "af"
}
],
"etymology_text": "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, 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": "quotation"
}
],
"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",
"French terms with audio links",
"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",
"text": "Audio"
}
],
"word": "contravariance"
}
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-05-03 from the enwiktionary dump dated 2024-05-02 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.