Lemma 79.14.1. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $(U, R, s, t, c, e, i)$ be a groupoid in algebraic spaces over $B$. Assume the morphisms $s, t$ are separated and locally of finite type. There exists a canonical morphism

of groupoids in algebraic spaces over $B$ where

$g : U' \to U$ is identified with $(R_ s/U, e)_{fin} \to U$, and

$Z_{univ} \subset R \times _{s, U, g} U'$ is the universal open (and closed) subspace finite over $U'$ which contains the base change of the unit $e$.

## Comments (0)