The Stacks project

59.9 Presheaves

A reference for this section is Sites, Section 7.2.

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}$).

Terminology. If $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, then elements of $\mathcal{F}(U)$ are called sections of $\mathcal{F}$ over $U$. For $\varphi : V \to U$ in $\mathcal{C}$, the map $\mathcal{F}(\varphi ) : \mathcal{F}(U) \to \mathcal{F}(V)$ is called the restriction map and is often denoted $s \mapsto s|_ V$ or sometimes $s \mapsto \varphi ^*s$. The notation $s|_ V$ is ambiguous since the restriction map depends on $\varphi $, but it is a standard abuse of notation. We also use the notation $\Gamma (U, \mathcal{F}) = \mathcal{F}(U)$.

Saying that $\mathcal{F}$ is a functor means that if $W \to V \to U$ are morphisms in $\mathcal{C}$ and $s \in \Gamma (U, \mathcal{F})$ then $(s|_ V)|_ W = s |_ W$, with the abuse of notation just seen. Moreover, the restriction mappings corresponding to the identity morphisms $\text{id}_ U : U \to U$ are the identity.

The category of presheaves of sets (respectively of abelian presheaves) on $\mathcal{C}$ is denoted $\textit{PSh} (\mathcal{C})$ (resp. $\textit{PAb} (\mathcal{C})$). It is the category of functors from $\mathcal{C}^{opp}$ to $\textit{Sets}$ (resp. $\textit{Ab}$), which is to say that the morphisms of presheaves are natural transformations of functors. We only consider the categories $\textit{PSh}(\mathcal{C})$ and $\textit{PAb}(\mathcal{C})$ when the category $\mathcal{C}$ is small. (Our convention is that a category is small unless otherwise mentioned, and if it isn't small it should be listed in Categories, Remark 4.2.2.)

Example 59.9.2. Given an object $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, we consider the functor

\[ \begin{matrix} h_ X : & \mathcal{C}^{opp} & \longrightarrow & \textit{Sets} \\ & U & \longmapsto & h_ X(U) = \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(U, X) \\ & V \xrightarrow {\varphi } U & \longmapsto & \varphi \circ - : h_ X(U) \to h_ X(V). \end{matrix} \]

It is a presheaf, called the representable presheaf associated to $X$. It is not true that representable presheaves are sheaves in every topology on every site.

slogan

Lemma 59.9.3 (Yoneda). Let $\mathcal{C}$ be a category, and $X, Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. There is a natural bijection

\[ \begin{matrix} \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, Y) & \longrightarrow & \mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}(\mathcal{C})} (h_ X, h_ Y) \\ \psi & \longmapsto & h_\psi = \psi \circ - : h_ X \to h_ Y. \end{matrix} \]

Proof. See Categories, Lemma 4.3.5. $\square$


Comments (3)

Comment #1389 by sdf on

In the terminology subsubsection, the is going the wrong way since contravariant out of /covariant out of ?

Comment #1391 by sdf on

Above comment should say "...contravariant out of /covariant out of ?"

Comment #8391 by Francisco García on

There is something wrong with Example 59.9.2. Do we consider in or in ? Assuming the morphism in I think both the composition and the map have to be switched. Compare with tag 4.3.4.


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 03NB. Beware of the difference between the letter 'O' and the digit '0'.