Let $\mathscr{A}$ be a category. A presheaf on $\mathscr{A}$ is a functor $\mathscr{A}^\op \to \mathbf{Set}$.