Lemma 32.19.1. Let $S$ be a scheme. Let $s \in S$ be a closed point such that $U = S \setminus \{ s\} \to S$ is quasi-compact. With $V = \mathop{\mathrm{Spec}}(\mathcal{O}_{S, s}) \setminus \{ s\}$ the base change functor

$\left\{ \begin{matrix} f : X \to S\text{ of finite presentation} \\ f^{-1}(U) \to U\text{ is an isomorphism} \end{matrix} \right\} \longrightarrow \left\{ \begin{matrix} g : Y \to \mathop{\mathrm{Spec}}(\mathcal{O}_{S, s})\text{ of finite presentation} \\ g^{-1}(V) \to V\text{ is an isomorphism} \end{matrix} \right\}$

is an equivalence of categories.

Proof. This is a special case of Lemma 32.18.1. $\square$

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