contravariant

Fetched 2026-10-26 (cache).

Synonyms: contrariant

Antonyms: contrariant

Related words from Datamuse; suggestions, not definitions.

Adjective

1. {{lb|en|category theory|of a [[functor]]}} Which [[reverse]]s the order of [[morphism]] [[composition]]: formally, which [[associate]]s each morphism <math>f:X \to Y</math> to a morphism <math>F(f):F(Y) \to F(X)</math>.
2. {{lb|en|object-oriented programming}} Using or relating to [[contravariance]].
3. {{lb|en|linear algebra|of a vector}} Scaling inversely with a change of basis.

Noun

1. {{lb|en|algebra}} A [[bihomogeneous]] [[polynomial]] in [[dual]] [[variables]] of ''x'', ''y'', ... and the [[coefficient]]s of some [[homogeneous]] form in ''x'', ''y'', ... that is [[invariant]] under some [[group]] of [[linear]] [[transformation]]s.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.