plural of contravariance

(object-oriented programming) The reversal of the order of data types acted upon by an operator. / (category theory) A functor which reverses composition.

(category theory, of a functor) which reverses composition / (object-oriented programming) Using or relating to contravariance.

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

plural of contravariant

(category theory) A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h=g∘f, then F(h)=F(f)∘F(g).

plural of contravariant functor