• contravariant functor
• contravariant functors

contravariant functor (suomeksi)

Määritelmät:

• (lb, en, category theory) A functor which maps a morphism ''f'':''X'' → ''Y'' to a morphism ''F''(''f''):''F''(''Y'') → ''F''(''X''), such that if $h\; =\; g\; \backslash circ\; f$, then $F(h)\; =\; F(f)\; \backslash circ\; F(g)$.