# Variant of Conceptual Completeness

Let $\mathcal{C}$ and $\mathcal{D}$ be pretopoi, and let $f: \mathcal{C} \rightarrow \mathcal{D}$ be a pretopos functor (that is, a functor which preserves finite coproducts, finite limits, and epimorphisms). Let $M( \mathcal{C} )$ be the category of models of $\mathcal{C}$ (that is, pretopos functors from $\mathcal{C}$ to the category of sets) and define $M( \mathcal{D} )$-similarly.

The conceptual completeness theorem of Makkai-Reyes asserts that if $f$ induces an equivalence of categories $M(f): M( \mathcal{D} ) \rightarrow M( \mathcal{C} )$, then $f$ is itself an equivalence of categories.

I am wondering about the following more general situation. Suppose that the functor $M(f)$ is an op-fibration in sets (in other words, that the category $M( \mathcal{D} )$ can be obtained by applying the Grothendieck construction to a functor from $M( \mathcal{C} )$ to the category of sets). I would like to conclude that $\mathcal{D}$ can be obtained as a filtered colimit of pretopoi of the form $\mathcal{C}_{ / C}$ (in other words, that $\mathcal{D}$ is the pretopos associated to a Pro-object of $\mathcal{C}$).

Is something like this true, and/or available in the categorical logic literature?

• Might Breiner's 'Logical schemes' approach (andrew.cmu.edu/user/awodey/students/breiner.pdf) be helpful. He considers conceptual completeness in section 4.4. "We reframe Makkai & Reyes’ conceptual completeness theorem as a theorem about schemes…The theorem follows immediately from our scheme construction." (p. 9). – David Corfield Jun 30 '16 at 8:23

"No, but close" in general. (Close means: you cannot conclude that $\mathcal{D}$ is pro-etale over $\mathcal{C}$, but you can "cover" $\mathcal{D}$ by objects which are pro-etale over both.)
• Since you are developing an $\infty$-categorical version of Makkai-Reyes conceptual completeness in A.9 of Spectral Algebraic Geometry, what can be said of the analogue of your question and answer? – David Corfield Jun 30 '16 at 11:40