contravariant functor definition

  • noun:
    • A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if , after that .
29 votes

How would you define contravariant functor?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!