Let \(U\) be a universe. We refer to the canonical equivalence \({(\mathord {\textnormal {\textsf {Topos}}}(U))}^{\mathord {\textnormal {\textsf {op}}}}\simeq \mathord {\textnormal {\textsf {Logos}}}(U)\) as \(\mathord {\textnormal {\textsf {Sh}}}\).