covariant

not-comparable

(category theory) (Of a functor) which preserves composition. / (object-oriented programming) Using or relating to covariance.

Japanese Meaning

カテゴリー理論において、合成を保持する関手に関する性質（関手が射の合成を保存する性質） / オブジェクト指向プログラミングにおいて、共変性に関連する概念や性質

If a functor is covariant, it maps the composition of morphisms to the composition of their images.

関手が合成を保つ場合、それは射の合成を像の合成に写す。

Sense（1）

(category theory) (Of a functor) which preserves composition.

Sense（2）

(object-oriented programming) Using or relating to covariance.