88.27.0.1
\begin{equation} \label{restricted-equation-completion-functor} \left\{ \begin{matrix} \text{morphisms of algebraic spaces}
\\ f : X' \to X\text{ which are locally}
\\ \text{of finite type and such that}
\\ U' \to U\text{ is an isomorphism}
\end{matrix} \right\} \longrightarrow \left\{ \begin{matrix} \text{morphisms }g : W \to X_{/T}
\\ \text{of formal algebraic spaces}
\\ \text{with }W\text{ locally Noetherian}
\\ \text{and }g\text{ rig-étale}
\end{matrix} \right\} \end{equation}
Comments (0)