Meaning

(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)..

Definitions by Sense

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).
2. (object-oriented programming) Using or relating to contravariance.
3. (linear algebra, of a vector) Scaling inversely with a change of basis.
4. (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.

Word Forms

• contravariants

Antonyms for contravariant

Related Words

When Should You Use Contravariant?

Use contravariant when its meaning, tone and grammar fit the full sentence. A synonym is not always a direct replacement.

Practice This Word

Frequently Asked Questions