Remark 60.8.6 (Comparison with Zariski site). In Situation 60.7.5. The functor (60.8.1.1) is cocontinuous (details omitted) and commutes with products and fibred products (Lemma 60.8.2). Hence we obtain a morphism of topoi
\[ U_{X/S} : (X/S)_{\text{CRIS}} \longrightarrow \mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/X)_{Zar}) \]
from the big crystalline topos of $X/S$ to the big Zariski topos of $X$. See Sites, Section 7.21.
Comments (2)
Comment #3457 by ZY on
Comment #3500 by Johan on
There are also: