The Stacks project

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

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

2. 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]$.