Contravariant functor Presheaf A presheaf on a category is a contravariant functor , cat and the corresponding functor category is called the Category of presheaves on . develop | en | sembr