contravariant functor
Jump to navigation
Jump to search
English[edit]
Noun[edit]
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 , then .
- A contravariant functor is the same as a covariant functor .
Translations[edit]
category theory: functor
|