The Stacks project

Lemma 96.8.1. Let $S$ be a scheme. Let $\mathcal{X}$ be a category fibred in groupoids over $(\mathit{Sch}/S)$. Assume $\mathcal{X}$ is representable by a scheme $X$. For $\tau \in \{ Zar,\linebreak[0] {\acute{e}tale},\linebreak[0] smooth,\linebreak[0] syntomic,\linebreak[0] fppf\}$ there is a canonical equivalence

of ringed sites.

Lemma 96.8.2. Let $S$ be a scheme. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of categories fibred in groupoids over $S$. Assume $\mathcal{X}$, $\mathcal{Y}$ are representable by schemes $X$, $Y$. Let $f : X \to Y$ be the morphism of schemes corresponding to $f$. For $\tau \in \{ Zar,\linebreak[0] {\acute{e}tale},\linebreak[0] smooth,\linebreak[0] syntomic,\linebreak[0] fppf\}$ the morphism of ringed topoi $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{X}_\tau ), \mathcal{O}_\mathcal {X}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{Y}_\tau ), \mathcal{O}_\mathcal {Y})$ agrees with the morphism of ringed topoi $f : (\mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/X)_\tau ), \mathcal{O}_ X) \to (\mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/Y)_\tau ), \mathcal{O}_ Y)$ via the identifications of Lemma 96.8.1.