Lemma 84.2.7. Let $f : Y \to X$ be a morphism of simplicial spaces. Then

\[ \xymatrix{ \mathop{\mathit{Sh}}\nolimits (Y_ n) \ar[d] \ar[r]_{f_ n} & \mathop{\mathit{Sh}}\nolimits (X_ n) \ar[d] \\ \mathop{\mathit{Sh}}\nolimits (Y_{Zar}) \ar[r]^{f_{Zar}} & \mathop{\mathit{Sh}}\nolimits (X_{Zar}) } \]

is a commutative diagram of topoi.

## Comments (0)

There are also: