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}}}$.