Definitions
1.AdjectiveWhich preserves the order of morphism composition: formally, which associates each morphism
f
:
X
→
Y
{\displaystyle f:X\to Y}
to a morphism
F
(
f
)
:
F
(
X
)
→
F
(
Y
)
{\displaystyle F(f):F(X)\to F(Y)}
.
2.AdjectiveUsing or relating to covariance.
3.NounA bihomogeneous polynomial in x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations.
4.NounThe variety defined by a covariant.