covariant

形容詞

比較不可

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

日本語の意味

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

このボタンはなに？

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

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

詳細

意味（1）

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

意味（2）

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