Definition 90.27.1. Let $(U, R, s, t, c)$ be a smooth prorepresentable groupoid in functors on $\mathcal{C}_\Lambda $.

We say $(U, R, s, t, c)$ is

*normalized*if the groupoid $(U(k[\epsilon ]), R(k[\epsilon ]), s, t, c)$ is totally disconnected, i.e., there are no morphisms between distinct objects.We say $(U, R, s, t, c)$ is

*minimal*if the $U \to [U/R]$ is given by a minimal versal formal object of $[U/R]$.

## Comments (0)