Contravariant functor

Presheaf

A presheaf on a category is a contravariant functor , #m/def/cat and the corresponding functor category is called the Category of presheaves on .

#state/develop | #lang/en | #SemBr