[[Contravariant functor]]
# Presheaf

A **presheaf** $F$ on a category $\cat C$ is a [[contravariant functor]] $F : \op{\cat C} \to \Set$, #m/def/cat 
and the corresponding [[functor category]] is called the [[Category of presheaves]] on $\cat C$.


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