# Topos associated to a category

For each topos $\mathbb E$ let $\mathcal O(\mathbb E)$ be the locally presentable category of objects in $\mathbb E$. We can make $\mathcal O$ into a contravariant functor to the category of locally presentable categories (with morphisms being cocontinuous) by assigning to each geometric morphism $(f^\*, f_\*)$ the functor $f^\*$. By [Mac Lane, Moerdijk: Sheaves in Geometry and Logic] this functor is representable, that is there is a topos $\mathbb A$, called the object classifier, such that there is a natural equivalence $$\mathrm{Hom}(\mathbb E, \mathbb A) \to \mathcal O(\mathbb E).$$ Now I wonder whether $\mathcal O$ has a right adjoint, which I want to call $\operatorname{Spec}$ due to the analogy with algebraic geometry, that is whether there exists a contravariant functor $\operatorname{Spec}$ from the category of locally presentable categories to the category of topoi (with geometric morphisms) such that there is a natural equivalence $$\mathrm{Hom}(\mathbb E, \operatorname{Spec}\mathcal C) \to \mathrm{Hom}(\mathcal C, \mathcal O(\mathbb E))$$ of categories.

(Here, topos shall mean Grothendieck topos.)

• I guess you want to cut down to small categories C, in order to get a Spec(C) satisfying your requirements. When C is small, the theory of diagrams on C is a geometric theory, and therefore has a classifying topos Spec(C). So (modulo the size question), I think the answer to your question must be yes. But I'll let others more expert than me answer. – Tom Leinster Jan 10 '12 at 9:35
• You should be willing to change one of the $\mathrm{Hom}$ to something else, such as "continuous functors". But I'll let others more expert than me answer. – Andrej Bauer Jan 10 '12 at 10:32
• I like your question. But I'll let others more expert than me answer. – David Roberts Jan 10 '12 at 11:18
• @Tom: You are right; in my question I am a bit sloppy when it comes to size issues. @Andrej: Do you possibly mean cocontinuous? I will changed my question to address both comments in a manner that is hopefully helpful. – Marc Nieper-Wißkirchen Jan 10 '12 at 11:53
• @Martin: For the moment, the analogy is just formal to me. For the topos that I write $\mathbb{A}$ Mac Lane and Moerdijk write $S[U]$ in analogy to a polynomial ring because the set of morphisms from the polynomial algebra over a ground ring to another algebra is just the set of elements of that other algebra as the category of morphisms from a topos to $S[U]$ is the category of objects of that topos. I doesn't like that notation too much as one has to turn arrows around so that one should introduce, at least formally, somewhere a $\operatorname{Spec}$. – Marc Nieper-Wißkirchen Jan 10 '12 at 21:44