Let \(U\) be a universe. Then étale morphisms in \(\mathord {\textnormal {\textsf {Topos}}}(U)\) are closed under pullback.
Proof
This is by definition.
Let \(U\) be a universe. Then étale morphisms in \(\mathord {\textnormal {\textsf {Topos}}}(U)\) are closed under pullback.
This is by definition.