Lemma 79.8.1. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. Let $g : U' \to U$ be a morphism of algebraic spaces over $B$. Let $(U', R', s', t', c')$ be the restriction of $(U, R, s, t, c)$ via $g$.

1. If $s, t$ are locally of finite type and $g$ is locally of finite type, then $s', t'$ are locally of finite type.

2. If $s, t$ are locally of finite presentation and $g$ is locally of finite presentation, then $s', t'$ are locally of finite presentation.

3. If $s, t$ are flat and $g$ is flat, then $s', t'$ are flat.

Proof. The property of being locally of finite type is stable under composition and arbitrary base change, see Morphisms of Spaces, Lemmas 67.23.2 and 67.23.3. Hence (1) is clear from Diagram (79.8.0.1). For the other cases, see Morphisms of Spaces, Lemmas 67.28.2, 67.28.3, 67.30.3, and 67.30.4. $\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).