contravariant

not-comparable of a functor

(category theory, of a functor) which reverses composition / (object-oriented programming) Using or relating to contravariance.

Japanese Meaning

（圏論において）合成の順序を逆転させる性質、つまりファンクターが通常の合成を反対方向に作用することを意味する。 / （オブジェクト指向プログラミングにおいて）逆変性に関する性質、すなわち型のパラメータが引数の方向に逆転（より広い型からより狭い型への変換）する性質を指す。

A contravariant functor sends each morphism to a morphism in the opposite direction, thus reversing composition.

反変関手は各射を逆向きの射に送り、合成を逆にする。

Sense（1）

(category theory, of a functor) which reverses composition

Sense（2）

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