contravariant functor

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

contravariant functor (plural contravariant functors)

  1. (category theory) A functor which maps a morphism f:XY 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[edit]