Lemma 61.25.3. Let $i : Z \to X$ be a closed immersion of schemes. Then

1. $i_{pro\text{-}\acute{e}tale}^{-1}$ commutes with limits,

2. $i_{{pro\text{-}\acute{e}tale}, *}$ is fully faithful, and

3. $i_{pro\text{-}\acute{e}tale}^{-1}i_{{pro\text{-}\acute{e}tale}, *} \cong \text{id}_{\mathop{\mathit{Sh}}\nolimits (Z_{pro\text{-}\acute{e}tale})}$.

Proof. Assertions (2) and (3) are equivalent by Sites, Lemma 7.41.1. Parts (1) and (3) are (Zariski) local on $X$, hence we may assume that $X$ is affine. In this case the result follows from Lemma 61.25.2. $\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).