[0053] DefinitionLet UUU be a universe. We define a functor Q:Cat(U)→Topos(U)\mathord {\textnormal {\textsf {Q}}}:\mathord {\textnormal {\textsf {Cat}}}(U)\rightarrow \mathord {\textnormal {\textsf {Topos}}}(U)Q:Cat(U)→Topos(U) by Q(C)=C∙1\mathord {\textnormal {\textsf {Q}}}(C)=C\bullet \mathord {\textnormal {\textsf {1}}}Q(C)=C∙1.