covariant in German

(category theory, of a functor) Which preserves the order of morphism composition: formally, which associates each morphism f:X \to Y to a morphism F(f):F(X) \to F(Y).