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.

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