Lemma 83.3.4. In Situation 83.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$

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