Lemma 39.21.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of schemes over $S$. The construction of Lemma 39.21.2 determines an equivalence

\[ \begin{matrix} \text{category of groupoid schemes}
\\ \text{cartesian over } (X, X \times _ Y X, \ldots )
\end{matrix} \longrightarrow \begin{matrix} \text{ category of descent data}
\\ \text{ relative to } X/Y
\end{matrix} \]

## Comments (0)