Lemma 73.22.5. Let $S$ be a scheme. Let $\{ X_ i \to X\} _{i \in I}$ be a family of morphisms of algebraic spaces over $S$ with fixed target $X$. Set $Y = \coprod _{i \in I} X_ i$. There is a canonical equivalence of categories

$\begin{matrix} \text{category of descent data } \\ \text{relative to the family } \{ X_ i \to X\} _{i \in I} \end{matrix} \longrightarrow \begin{matrix} \text{ category of descent data} \\ \text{ relative to } Y/X \end{matrix}$

which maps $(V_ i, \varphi _{ij})$ to $(V, \varphi )$ with $V = \coprod _{i\in I} V_ i$ and $\varphi = \coprod \varphi _{ij}$.

Proof. Observe that $Y \times _ X Y = \coprod _{ij} X_ i \times _ X X_ j$ and similarly for higher fibre products. Giving a morphism $V \to Y$ is exactly the same as giving a family $V_ i \to X_ i$. And giving a descent datum $\varphi$ is exactly the same as giving a family $\varphi _{ij}$. $\square$

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).