Lemma 69.4.2. Let $S$ be a scheme. Let $I$ be a directed set. Let $(X_ i, f_{ii'})$ be an inverse system over $I$ of algebraic spaces over $S$ with affine transition maps. Let $X = \mathop{\mathrm{lim}}\nolimits _ i X_ i$. Let $0 \in I$. Suppose that $T \to X_0$ is a morphism of algebraic spaces. Then

$T \times _{X_0} X = \mathop{\mathrm{lim}}\nolimits _{i \geq 0} T \times _{X_0} X_ i$

as algebraic spaces over $S$.

Proof. The limit $X$ is an algebraic space by Lemma 69.4.1. The equality is formal, see Categories, Lemma 4.14.10. $\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).