Definition 88.24.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of locally Noetherian formal algebraic spaces over $S$. We say $f$ is a formal modification if
$f$ is a proper morphism (Formal Spaces, Definition 87.31.1),
$f$ is rig-étale,
$f$ is rig-surjective,
$\Delta _ f : X \to X \times _ Y X$ is rig-surjective.
Comments (0)