Lemma 59.104.3. Let $f : X \to Y$ be a surjective proper morphism of schemes. The functor
\[ \mathop{\mathit{Sh}}\nolimits (Y_{\acute{e}tale}) \longrightarrow \text{descent data for étale sheaves wrt }\{ X \to Y\} \]
is an equivalence of categories.
Comments (0)