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 , then .

Translations[edit]