Definition 89.8.9. Let $\mathcal{F}$ be a category cofibered in groupoids. Let $\xi$ be a formal object of $\mathcal{F}$ lying over $R \in \mathop{\mathrm{Ob}}\nolimits (\widehat{\mathcal{C}}_\Lambda )$. We say $\xi$ is versal if the corresponding morphism $\underline{\xi }: \underline{R}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ of Remark 89.7.12 is smooth.

There are also:

• 2 comment(s) on Section 89.8: Smooth morphisms

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