Remark 60.8.8 (Compatibilities). The morphisms defined above satisfy numerous compatibilities. For example, in the situation of Remark 60.8.5 we obtain a commutative diagram of ringed topoi

$\xymatrix{ (X/S)_{\text{CRIS}} \ar[d] \ar[r] & (Y/S')_{\text{CRIS}} \ar[d] \\ \mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/S)_{Zar}) \ar[r] & \mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/S')_{Zar}) }$

where the vertical arrows are the structure morphisms.

There are also:

• 2 comment(s) on Section 60.8: The big crystalline site

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