Definify.com

Definition 2024

contravariant_functor

contravariant functor

English

Noun

contravariant functor ‎(plural contravariant functors)

(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\circ f$ , then $F(h)=F(f)\circ F(g)$ .

Translations

category theory: functor

Icelandic: hjávarpi m, andbrigður varpi m, mótbrigður varpi m

Portuguese: functor/funtor contravariante m