Synthetic topos theory
[002Z] Exercise

Let \(U\) be a universe and let \(V\) be a universe strictly greater than \(U\). Then the Yoneda embedding exhibits \(\mathord {\textnormal {\textsf {Sh}}}(\mathord {\textnormal {\textsf {Topos}}}^{(1)}(U),V)\) as the completion of \(\mathord {\textnormal {\textsf {Topos}}}^{(1)}(U)\) under \(V\)-small colimits preserving étale colimits.