Synthetic topos theory
[0053] Definition

Let \(U\) be a universe. We define a functor \(\mathord {\textnormal {\textsf {Q}}}:\mathord {\textnormal {\textsf {Cat}}}(U)\rightarrow \mathord {\textnormal {\textsf {Topos}}}(U)\) by \(\mathord {\textnormal {\textsf {Q}}}(C)=C\bullet \mathord {\textnormal {\textsf {1}}}\).