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.

## Comments (0)

There are also: