Presheaf

A presheaf on a category $\mathcal{C}$ is a functor:

$$F:{\mathcal{C}}^{op}\to \mathbf{Set}$$

• Assigns to each object a set of “sections”
• Used in topology, logic, geometry