Contravariant-functor meaning

(category theory) A functor which maps a morphism f:XY to a morphism F(f):F(Y) → F(X), such that if , then .
noun
0
0
Advertisement