Lemma 63.3.1. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$ and let $X$, $Y$ be objects of $(\mathit{Sch}/S)_{fppf}$. Let $f : X \to Y$ be a morphism of schemes. Then

$h_ f : h_ X \longrightarrow h_ Y$

is a representable transformation of functors.

Proof. This is formal and relies only on the fact that the category $(\mathit{Sch}/S)_{fppf}$ has fibre products. $\square$

There are also:

• 2 comment(s) on Section 63.3: Representable morphisms of 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).