Lemma 95.14.9. Up to a replacement as in Stacks, Remark 8.4.9 the functor
p : G\textit{-Torsors} \longrightarrow (\mathit{Sch}/S)_{fppf}
defines a stack in groupoids over (\mathit{Sch}/S)_{fppf}.
Proof. The most difficult part of the proof is to show that we have descent for objects, which is Bootstrap, Lemma 80.11.8. We omit the proof of axioms (1) and (2) of Stacks, Definition 8.5.1. \square
Comments (0)