contravariant functor

listen to the pronunciation of contravariant functor
İngilizce - Türkçe
kontravaryant fonktör
İngilizce - İngilizce
A functor which maps a function f: X → Y to a function F(f): F(Y) → F(X), such that if h = g \circ f, then F(h) = F(f) \circ F(g)
contravariant functor