What is the meaning of Contravariant_functor?
A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if , then .
Source: wiktionary.orgSearch words containing
A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if , then .
Source: wiktionary.orgSearch words containing