Definition 71.19.1. Let S be a scheme. Let X be an algebraic space over S. Let U \subset X be an open subspace. A morphism X' \to X is called a U-admissible blowup if there exists a closed immersion Z \to X of finite presentation with Z disjoint from U such that X' is isomorphic to the blowup of X in Z.
Comments (0)