Synthetic topos theory
[0014] Proposition

Let \(U\) be a universe and let \(X\) be a \(U\)-topos. Then the inclusion \(\mathord {\textnormal {\textsf {Etale}}}(X)\rightarrow \mathord {\textnormal {\textsf {Topos}}}(U)/X\) preserves \(U\)-small colimits.

Proof

By [0011].