Lemma 65.3.1 (02W9)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 4: Algebraic Spaces
Chapter 65: Algebraic Spaces
Section 65.3: Representable morphisms of presheaves
Lemma 65.3.1 (cite)

next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 65.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$

Comments (0)

There are also:

2 comment(s) on Section 65.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).

Comments (0)

Post a comment