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

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: