Lemma 98.25.2. Let $\tau \in \{ Zariski, {\acute{e}tale}, smooth, syntomic, fppf\} $. Restricting along the inclusion functor $(\textit{Noetherian}/S)_\tau \to (\mathit{Sch}/S)_\tau $ defines an equivalence of categories between
the category of limit preserving sheaves on $(\mathit{Sch}/S)_\tau $ and
the category of limit preserving sheaves on $(\textit{Noetherian}/S)_\tau $
Proof.
Let $F : (\textit{Noetherian}/S)_\tau ^{opp} \to \textit{Sets}$ be a functor which is both limit preserving and a sheaf. By Topologies, Lemmas 34.13.1 and 34.13.3 there exists a unique functor $F' : (\mathit{Sch}/S)_\tau ^{opp} \to \textit{Sets}$ which is limit preserving, a sheaf, and restricts to $F$. In fact, the construction of $F'$ in Topologies, Lemma 34.13.1 is functorial in $F$ and this construction is a quasi-inverse to restriction. Some details omitted.
$\square$
Comments (0)