"contravariant" meaning in English

See contravariant in All languages combined, or Wiktionary

Adjective

Head templates: {{en-adj|-}} contravariant (not comparable)
  1. (category theory, of a functor) Which reverses the order of morphism composition: formally, which associates each morphism f:X→Y to a morphism F(f):F(Y)→F(X). Tags: not-comparable Categories (topical): Category theory Translations (which reverses composition): kontravariantti (Finnish), contravariant (French), kontravariant (German), contravariante (Portuguese), contravariant [masculine] (Romanian), kontravariant (Swedish)
    Sense id: en-contravariant-en-adj-bIuLXKMX Categories (other): Terms with Finnish translations, Terms with French translations, Terms with German translations, Terms with Portuguese translations Disambiguation of Terms with Finnish translations: 22 10 33 35 Disambiguation of Terms with French translations: 22 8 35 35 Disambiguation of Terms with German translations: 22 10 33 35 Disambiguation of Terms with Portuguese translations: 20 10 32 37 Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences Disambiguation of 'which reverses composition': 80 9 11
  2. (object-oriented programming) Using or relating to contravariance. Tags: not-comparable Categories (topical): Object-oriented programming Translations (relating to contravariance): kontravariantti (Finnish), contravariant (French), kontravariant (German)
    Sense id: en-contravariant-en-adj-QsyPebDM Categories (other): Terms with Portuguese translations Disambiguation of Terms with Portuguese translations: 20 10 32 37 Disambiguation of 'relating to contravariance': 20 72 9
  3. (linear algebra, of a vector) Scaling inversely with a change of basis. Tags: not-comparable Categories (topical): Linear algebra
    Sense id: en-contravariant-en-adj-dPfIs-ec Categories (other): Terms with Finnish translations, Terms with French translations, Terms with German translations, Terms with Portuguese translations Disambiguation of Terms with Finnish translations: 22 10 33 35 Disambiguation of Terms with French translations: 22 8 35 35 Disambiguation of Terms with German translations: 22 10 33 35 Disambiguation of Terms with Portuguese translations: 20 10 32 37 Topics: linear-algebra, mathematics, sciences
The following are not (yet) sense-disambiguated
Derived forms: contravector

Noun

Forms: contravariants [plural]
Head templates: {{en-noun}} contravariant (plural contravariants)
  1. (algebra) A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations. Categories (topical): Algebra Translations (translation): kontravariantti (Finnish)
    Sense id: en-contravariant-en-noun-9euAtAIY Categories (other): English entries with incorrect language header, Pages with 1 entry, Terms with Finnish translations, Terms with French translations, Terms with German translations, Terms with Portuguese translations, Terms with Romanian translations, Terms with Swedish translations Disambiguation of English entries with incorrect language header: 24 7 27 42 Disambiguation of Pages with 1 entry: 20 8 29 44 Disambiguation of Terms with Finnish translations: 22 10 33 35 Disambiguation of Terms with French translations: 22 8 35 35 Disambiguation of Terms with German translations: 22 10 33 35 Disambiguation of Terms with Portuguese translations: 20 10 32 37 Disambiguation of Terms with Romanian translations: 24 10 29 37 Disambiguation of Terms with Swedish translations: 24 10 29 37 Topics: algebra, mathematics, sciences

Inflected forms

{
  "derived": [
    {
      "_dis1": "0 0 0",
      "word": "contravector"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "contravariant (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "antonyms": [
        {
          "word": "covariant"
        }
      ],
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 8 35 35",
          "kind": "other",
          "name": "Terms with French translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "20 10 32 37",
          "kind": "other",
          "name": "Terms with Portuguese translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Which reverses the order of morphism composition: formally, which associates each morphism f:X→Y to a morphism F(f):F(Y)→F(X)."
      ],
      "id": "en-contravariant-en-adj-bIuLXKMX",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ],
        [
          "reverse",
          "reverse"
        ],
        [
          "morphism",
          "morphism"
        ],
        [
          "composition",
          "composition"
        ],
        [
          "associate",
          "associate"
        ]
      ],
      "raw_glosses": [
        "(category theory, of a functor) Which reverses the order of morphism composition: formally, which associates each morphism f:X→Y to a morphism F(f):F(Y)→F(X)."
      ],
      "raw_tags": [
        "of a functor"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "80 9 11",
          "code": "fi",
          "lang": "Finnish",
          "sense": "which reverses composition",
          "word": "kontravariantti"
        },
        {
          "_dis1": "80 9 11",
          "code": "fr",
          "lang": "French",
          "sense": "which reverses composition",
          "word": "contravariant"
        },
        {
          "_dis1": "80 9 11",
          "code": "de",
          "lang": "German",
          "sense": "which reverses composition",
          "word": "kontravariant"
        },
        {
          "_dis1": "80 9 11",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "which reverses composition",
          "word": "contravariante"
        },
        {
          "_dis1": "80 9 11",
          "code": "ro",
          "lang": "Romanian",
          "sense": "which reverses composition",
          "tags": [
            "masculine"
          ],
          "word": "contravariant"
        },
        {
          "_dis1": "80 9 11",
          "code": "sv",
          "lang": "Swedish",
          "sense": "which reverses composition",
          "word": "kontravariant"
        }
      ]
    },
    {
      "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": "20 10 32 37",
          "kind": "other",
          "name": "Terms with Portuguese translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Using or relating to contravariance."
      ],
      "id": "en-contravariant-en-adj-QsyPebDM",
      "links": [
        [
          "object-oriented programming",
          "object-oriented programming"
        ],
        [
          "contravariance",
          "contravariance"
        ]
      ],
      "qualifier": "object-oriented programming",
      "raw_glosses": [
        "(object-oriented programming) Using or relating to contravariance."
      ],
      "tags": [
        "not-comparable"
      ],
      "translations": [
        {
          "_dis1": "20 72 9",
          "code": "fi",
          "lang": "Finnish",
          "sense": "relating to contravariance",
          "word": "kontravariantti"
        },
        {
          "_dis1": "20 72 9",
          "code": "fr",
          "lang": "French",
          "sense": "relating to contravariance",
          "word": "contravariant"
        },
        {
          "_dis1": "20 72 9",
          "code": "de",
          "lang": "German",
          "sense": "relating to contravariance",
          "word": "kontravariant"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Linear algebra",
          "orig": "en:Linear algebra",
          "parents": [
            "Algebra",
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 8 35 35",
          "kind": "other",
          "name": "Terms with French translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "20 10 32 37",
          "kind": "other",
          "name": "Terms with Portuguese translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "Scaling inversely with a change of basis."
      ],
      "id": "en-contravariant-en-adj-dPfIs-ec",
      "links": [
        [
          "linear algebra",
          "linear algebra"
        ]
      ],
      "raw_glosses": [
        "(linear algebra, of a vector) Scaling inversely with a change of basis."
      ],
      "raw_tags": [
        "of a vector"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "linear-algebra",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "contravariant"
}

{
  "forms": [
    {
      "form": "contravariants",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "contravariant (plural contravariants)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Algebra",
          "orig": "en:Algebra",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "24 7 27 42",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "20 8 29 44",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 8 35 35",
          "kind": "other",
          "name": "Terms with French translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "22 10 33 35",
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "20 10 32 37",
          "kind": "other",
          "name": "Terms with Portuguese translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "24 10 29 37",
          "kind": "other",
          "name": "Terms with Romanian translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "24 10 29 37",
          "kind": "other",
          "name": "Terms with Swedish translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations."
      ],
      "id": "en-contravariant-en-noun-9euAtAIY",
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "bihomogeneous",
          "bihomogeneous"
        ],
        [
          "polynomial",
          "polynomial"
        ],
        [
          "dual",
          "dual"
        ],
        [
          "variables",
          "variables"
        ],
        [
          "coefficient",
          "coefficient"
        ],
        [
          "homogeneous",
          "homogeneous"
        ],
        [
          "invariant",
          "invariant"
        ],
        [
          "group",
          "group"
        ],
        [
          "linear",
          "linear"
        ],
        [
          "transformation",
          "transformation"
        ]
      ],
      "raw_glosses": [
        "(algebra) A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "translation",
          "word": "kontravariantti"
        }
      ]
    }
  ],
  "word": "contravariant"
}
{
  "categories": [
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English uncomparable adjectives",
    "Pages with 1 entry",
    "Terms with Finnish translations",
    "Terms with French translations",
    "Terms with German translations",
    "Terms with Portuguese translations",
    "Terms with Romanian translations",
    "Terms with Swedish translations"
  ],
  "derived": [
    {
      "word": "contravector"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "contravariant (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "antonyms": [
        {
          "word": "covariant"
        }
      ],
      "categories": [
        "en:Category theory"
      ],
      "glosses": [
        "Which reverses the order of morphism composition: formally, which associates each morphism f:X→Y to a morphism F(f):F(Y)→F(X)."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ],
        [
          "reverse",
          "reverse"
        ],
        [
          "morphism",
          "morphism"
        ],
        [
          "composition",
          "composition"
        ],
        [
          "associate",
          "associate"
        ]
      ],
      "raw_glosses": [
        "(category theory, of a functor) Which reverses the order of morphism composition: formally, which associates each morphism f:X→Y to a morphism F(f):F(Y)→F(X)."
      ],
      "raw_tags": [
        "of a functor"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    },
    {
      "categories": [
        "en:Object-oriented programming"
      ],
      "glosses": [
        "Using or relating to contravariance."
      ],
      "links": [
        [
          "object-oriented programming",
          "object-oriented programming"
        ],
        [
          "contravariance",
          "contravariance"
        ]
      ],
      "qualifier": "object-oriented programming",
      "raw_glosses": [
        "(object-oriented programming) Using or relating to contravariance."
      ],
      "tags": [
        "not-comparable"
      ]
    },
    {
      "categories": [
        "en:Linear algebra"
      ],
      "glosses": [
        "Scaling inversely with a change of basis."
      ],
      "links": [
        [
          "linear algebra",
          "linear algebra"
        ]
      ],
      "raw_glosses": [
        "(linear algebra, of a vector) Scaling inversely with a change of basis."
      ],
      "raw_tags": [
        "of a vector"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "linear-algebra",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "which reverses composition",
      "word": "kontravariantti"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "which reverses composition",
      "word": "contravariant"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "which reverses composition",
      "word": "kontravariant"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "which reverses composition",
      "word": "contravariante"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "which reverses composition",
      "tags": [
        "masculine"
      ],
      "word": "contravariant"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "which reverses composition",
      "word": "kontravariant"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "relating to contravariance",
      "word": "kontravariantti"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "relating to contravariance",
      "word": "contravariant"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "relating to contravariance",
      "word": "kontravariant"
    }
  ],
  "word": "contravariant"
}

{
  "categories": [
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English uncomparable adjectives",
    "Pages with 1 entry",
    "Terms with Finnish translations",
    "Terms with French translations",
    "Terms with German translations",
    "Terms with Portuguese translations",
    "Terms with Romanian translations",
    "Terms with Swedish translations"
  ],
  "forms": [
    {
      "form": "contravariants",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "contravariant (plural contravariants)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "en:Algebra"
      ],
      "glosses": [
        "A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations."
      ],
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "bihomogeneous",
          "bihomogeneous"
        ],
        [
          "polynomial",
          "polynomial"
        ],
        [
          "dual",
          "dual"
        ],
        [
          "variables",
          "variables"
        ],
        [
          "coefficient",
          "coefficient"
        ],
        [
          "homogeneous",
          "homogeneous"
        ],
        [
          "invariant",
          "invariant"
        ],
        [
          "group",
          "group"
        ],
        [
          "linear",
          "linear"
        ],
        [
          "transformation",
          "transformation"
        ]
      ],
      "raw_glosses": [
        "(algebra) A bihomogeneous polynomial in dual variables of x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "translation",
      "word": "kontravariantti"
    }
  ],
  "word": "contravariant"
}

Download raw JSONL data for contravariant meaning in English (4.6kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-09-01 from the enwiktionary dump dated 2024-08-20 using wiktextract (8e41825 and f99c758). 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.