Lemma 58.8.2. Let $(A, I)$ be a henselian pair. Set $X = \mathop{\mathrm{Spec}}(A)$ and $Z = \mathop{\mathrm{Spec}}(A/I)$. The functor

\[ \textit{FÉt}_ X \longrightarrow \textit{FÉt}_ Z,\quad U \longmapsto U \times _ X Z \]

is an equivalence of categories.

## Comments (2)

Comment #3036 by Brian Lawrence on

Comment #3145 by Johan on