Lemma 97.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

1. the category of limit preserving sheaves on $(\mathit{Sch}/S)_\tau$ and

2. 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$

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