98.13.2.1
\begin{equation} \label{artin-equation-smooth} \begin{matrix} \text{for all fields }k\text{ of finite type over }S \text{ and all }x_0 \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{X}_{\mathop{\mathrm{Spec}}(k)})\text{ the}
\\ \text{map } \mathcal{F}_{\mathcal{X}, k, x_0} \to \mathcal{F}_{\mathcal{Y}, k, f(x_0)} \text{ of predeformation categories is smooth}
\end{matrix} \end{equation}
Comments (0)