Lemma 84.3.4. In Situation 84.3.3 there is an equivalence of categories between

1. $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total})$, and

2. the category of systems $(\mathcal{F}_ n, \mathcal{F}(\varphi ))$ described above.

In particular, the topos $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total})$ only depends on the topoi $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n)$ and the morphisms of topoi $f_\varphi$.

Proof. See discussion above. $\square$

There are also:

• 2 comment(s) on Section 84.3: Simplicial sites and topoi

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