Example 4.3.4. Functor of points. For any $U\in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ there is a contravariant functor

which takes an object $X$ to the set $\mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, U)$. In other words $h_ U$ is a presheaf. Given a morphism $f : X\to Y$ the corresponding map $h_ U(f) : \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(Y, U)\to \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, U)$ takes $\phi $ to $\phi \circ f$. We will always denote this presheaf $h_ U : \mathcal{C}^{opp} \to \textit{Sets}$. It is called the *representable presheaf* associated to $U$. If $\mathcal{C}$ is the category of schemes this functor is sometimes referred to as the *functor of points* of $U$.

## Comments (0)

There are also: