Lemma 34.7.13 (021X)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Lemma 34.7.13. Given schemes $X$, $Y$, $Z$ in $(\mathit{Sch}/S)_{fppf}$ and morphisms $f : X \to Y$, $g : Y \to Z$ we have $g_{big} \circ f_{big} = (g \circ f)_{big}$.

Proof. This follows from the simple description of pushforward and pullback for the functors on the big sites from Lemma 34.7.12. $\square$

Comments (0)

There are also:

2 comment(s) on Section 34.7: The fppf topology

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