covariant

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

co- +‎ variant

Adjective[edit]

covariant (not comparable)

  1. (category theory, of a functor) Which preservess the order of morphism composition: formally, which associates each morphism to a morphism .
    Antonym: contravariant
  2. (object-oriented programming) Using or relating to covariance.

Derived terms[edit]

Translations[edit]

Noun[edit]

covariant (plural covariants)

  1. (algebra) A bihomogeneous polynomial in x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations.
  2. (algebra) The variety defined by a covariant.

Translations[edit]