Contravariant functor

A contravariant functor (as opposed to a covariant functor) behaves very much like a covariant functor, except for the fact that it flips morphisms and reverses composition. Because of this, a contravariant functor from to is equivalent to a covariant functor from the Opposite category of .

Notation

In these notes, the notation for functors will always be covariant. We will refer to a functor

as contravariant, even though we really mean we have a contravariant functor from to .

A special kind of contravariant functor is the Presheaf.

#state/tidy | #SemBr | #lang/en