Definition 89.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]$.

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