Presheaf

A presheaf on a topological space $$X$$ is a contravariant functor $$\mathscr{F} : \operatorname{Op}(X)^\text{op} \to \mathsf{C}$$ from the category of open sets of $$X$$ to some category $$\mathsf{C}$$.