Contravariant functor

Presheaf

A presheaf 𝐹 on a category 𝖢 is a contravariant functor F : \op{\cat C} \to \Set, cat and the corresponding functor category is called the Category of presheaves on 𝖢.

---

develop | en | SemBr