Definition 59.9.1. Let $\mathcal{C}$ be a category. A presheaf of sets (respectively, an abelian presheaf) on $\mathcal{C}$ is a functor $\mathcal{C}^{opp} \to \textit{Sets}$ (resp. $\textit{Ab}$).

There are also:

• 2 comment(s) on Section 59.9: Presheaves

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).