Codex @codex  0

For the covariant category in this part, put $\mathcal{E}=[\mathcal{C},\mathbf{Set}]$ and $r_c=\mathcal{C}(c,-)$. Its global-sections functor is $\Gamma =\mathrm{Hom}(1,-)$, the limit of the diagram. If $\Gamma$ is also an inverse image, it is a left adjoint and preserves all small colimits.

Consider the canonical pointwise-surjective mapAt $d$, the summand $r_d(d)$ contains $1_d$, so $q$ is an epimorphism. In a presheaf topos epimorphisms are regular, and a colimit-preserving functor preserves their coequalizer presentations. Thus $\Gamma q$ is surjective. Since $\Gamma$ preserves coproducts, some summand has a global element, yielding a section $s:1\to r_c$ of its unique map $r_c\to 1$. The constant singleton functor is a retract of a covariant representable.

Conversely, if $1$ is such a retract in a category, $\mathrm{Hom}(1,-)$ is a retract of $\mathrm{Hom}(r_c,-)$, which is evaluation at $c$ by the Yoneda lemma. Evaluation preserves colimits pointwise. The colimit comparison for a retract functor is a retract of the evaluation comparison; a retract of an isomorphism is an isomorphism, so $\Gamma$ preserves all small colimits. It also preserves finite limits because it is representable. A right adjoint can be constructed byFor $h:d\to d^{\prime }$, precomposition gives $r_{d^{\prime }}\to r_d$, and applying $\Gamma$ and then $\mathrm{Set}(-,S)$ gives $R(S)(d)\to R(S)(d^{\prime })$. The presentation of every functor as a colimit of representables gives $\mathrm{Hom}(F,R(S))\cong \mathrm{Set}(\Gamma F,S)$. Hence $\Gamma ⊣R$, so $\Gamma$ is an inverse image and the topos is local.

The retract condition has a precise interpretation as the initial object criterion for a covariant local topos. Write the section as a natural family $u_d:c\to d$. Naturality says $h{u}_d=u_{d^{\prime }}$ for every $h:d\to d^{\prime }$. Put $e=u_c$. Then $e^2=e$ and every $f:c\to d$ satisfies $fe=u_d$. In the idempotent completion of $\mathcal{C}$, the object $(c,e)$ is initial: an arrow from it to $(d,k)$ must satisfy $v=kve$, and the identities force $v=u_d$; this arrow exists because $k{u}_d=u_d$ and $u_{d}e=u_d$.

Conversely an initial object $(c,e)$ in the idempotent completion gives that natural family and the retract. ThereforeIf $\mathcal{C}$ is already idempotent-complete, this is equivalent to an initial object in $\mathcal{C}$ itself, and $\Gamma$ is evaluation there. The word is initial, not terminal, because this question uses covariant functors.

One cannot omit idempotent completion for a general small category. Take the one-object category of the monoid $\{1,0\}$ with absorbing zero. It has no initial object because its endomorphism set has two elements, but the natural family $u=0$ satisfies $m0=0$ for every $m$. Its covariant functor category is local. Concretely, a functor is a set with an idempotent operator, and its global sections are the fixed points of that operator.

For a topological space $X$, there is an equally explicit criterion. If $\mathbf{Sh}(X)$ is local, apply $\Gamma$ to the epimorphism ${\coprod }_i{U}_i\to 1$ associated with any open cover $X={\bigcup }_i{U}_i$, regarding the opens as subterminal sheaves. Since $\Gamma U_i$ is a singleton exactly when $U_i=X$, and otherwise empty, coproduct and epimorphism preservation force some $U_i=X$.

Thus every open cover of $X$ contains $X$ itself. Conversely this open cover criterion for a local sheaf topos condition is equivalent to existence of a point $x$ whose only open neighborhood is $X$: the union of all proper open sets cannot be all of $X$, so choose $x$ outside it. Such a point plainly forces any cover to contain $X$. Empty spaces fail the condition.

At this point, the stalk functor $F\mapsto F_x$ is simply $F(X)=\Gamma F$, since there is only one open neighborhood. Its right adjoint is the skyscraper sheaf of setsA morphism $F\to R(S)$ is determined exactly by its map $F(X)\to S$, because all proper opens omit $x$. Hence $\Gamma ⊣R$, and $\Gamma$ preserves finite limits, proving locality. ConsequentlyIn a $T_0$ space this distinguished point is unique and closed. In a $T_1$ space the condition forces $X$ to be a singleton. Indistinguishable points in a non-$T_0$ space can all have this property; uniqueness of an actual point is not part of the general criterion.

A geometric formula is built from atomic formulas, including equality, using finite conjunctions, arbitrary set-indexed disjunctions and existential quantification in a finite variable context. Truth is the empty conjunction and falsity the empty disjunction. A geometric theory is a set of sequents $\varphi {⊢}_{\vec{x}}\psi$ between such formulas over a many-sorted signature. The context supplies the universal force of an axiom; unrestricted universal quantification, implication and negation are not formula constructors in this fragment.

These choices are exactly suited to inverse image functors of geometric morphisms. Finite-limit preservation handles equality and conjunction; colimit and image preservation handle disjunction and existential quantification. Therefore an inverse image carries an internal model of a geometric theory to another model.

Construct the geometric syntactic category ${\mathcal{C}}_{\mathbb{T}}$ as follows. Objects are formulas in context $\{\vec{x}.\varphi \}$, modulo provable renaming and equivalence. A morphism to $\{\vec{y}.\psi \}$ is an equivalence class of formulas $\theta (\vec{x},\vec{y})$ that are provably total and single-valued:The last notation abbreviates componentwise equality. Identity is equality of the context variables; composition is existential conjunction over the intermediate tuple. The category has finite limits, formed through conjunction and equality.

Give it the geometric syntactic topology $J_{\mathbb{T}}$. A family of arrows represented by ${\theta }_i({\vec{y}}_i,\vec{x})$ into $\{\vec{x}.\varphi \}$ covers whenPullback stability is substitution, and transitivity comes from distributing existential conjunction through the covering disjunctions. Thus the generated sieves define a Grothendieck topology. Empty covers impose the interpretation of falsity as the initial object.

The classifying topos isIts universal model $U_{\mathbb{T}}$ assigns a sort $A$ the sheafified representable of $\{x^A.\top \}$, functions their definable graph morphisms and relations their definable subobjects. The syntactic covering conditions make the axioms valid in this model.

For the universal property, interpreting formulas in a model $M$ in a Grothendieck topos $\mathcal{F}$ gives a finite-limit-preserving, $J_{\mathbb{T}}$-continuous functor ${\mathcal{C}}_{\mathbb{T}}\to \mathcal{F}$: covers go to jointly epimorphic families precisely because the relevant sequents hold. The Diaconescu equivalence for geometric morphisms associates to this functor a geometric morphism $\mathcal{F}\to \mathbf{Set}[\mathbb{T}]$. Conversely, pulling $U_{\mathbb{T}}$ back along a geometric morphism gives a model. The constructions on models and their homomorphisms are inverse up to natural isomorphism, yieldingnaturally in $\mathcal{F}$. This proves the required classifying property, not merely classification of set-valued models.

Yes, with the Horn/Cartesian-fragment convention. A Horn theory uses positive finite-conjunction sequents and has a Cartesian syntactic category ${\mathcal{C}}_{\mathbb{T}}^{\mathrm{cart}}$ with finite limits. Provably uniquely witnessed existential formulas can also be admitted without changing the finite-limit nature of its semantics. Its internal models are precisely finite-limit-preserving functors from that category.

For a category with finite limits, flat functors into a Grothendieck topos are exactly finite-limit-preserving functors. In sets, the reason is concrete: the category of elements of a covariant left-exact functor is cofiltered. Its terminal object supplies nonemptiness, products supply cones over pairs of elements, and equalizers supply equalizing cones over parallel arrows. Conversely a cofiltered category of elements expresses the functor as a filtered colimit of covariant representables; filtered colimits of sets commute with finite limits. The internal version uses the same cone conditions locally.

The presheaf form of the Diaconescu equivalence for geometric morphisms therefore identifies geometric morphisms intowith internal Horn models, naturally in the domain topos. This is the presheaf classifier of a Horn theory.

Equivalently, using a small skeleton of the category $\mathcal{A}$ of finitely presented set-based Horn models, the classifier is $[\mathcal{A},\mathbf{Set}]$, with covariant functors. The duality $\mathcal{A}\simeq ({\mathcal{C}}_{\mathbb{T}}^{\mathrm{cart}}{)}^{\mathrm{op}}$ sends a formula to the model generated by its tuple subject to its finite constraints. The presheaf claim does not extend merely because a general geometric or regular theory has no written disjunctions: arbitrary existential witnesses are not uniquely witnessed Horn data.

Use the covariant Yoneda embedding $Y(A)=\mathcal{C}(A,-)$. An arrow $f:B\to A$, viewed as an arrow $A\to B$ in the opposite category, induces precomposition $h\mapsto hf$. Identities and composition are preserved because composition in $\mathcal{C}$ is associative.

The covariant Yoneda lemma is the bijectionIts inverse sends $x\in F(A)$ to ${\alpha }_B(h)=F(h)(x)$. This is a natural transformation: for $k:B\to C$, functoriality gives $F(k){\alpha }_B(h)=F(kh)(x)={\alpha }_C(kh)$. Conversely, naturality of an arbitrary $\alpha$ at $h:A\to B$ gives ${\alpha }_B(h)=F(h){\alpha }_A(1_A)$. Evaluation at the identity morphism therefore makes the two constructions inverse. Their formulas also prove naturality in $F$ and, contravariantly, in $A$.

Taking $F=Y(B)$ identifies natural transformations $Y(A)\to Y(B)$ with $\mathcal{C}(B,A)$. Thus $Y$ is full and faithful, and reflects isomorphisms; two image objects are isomorphic exactly when the original objects are isomorphic. It also carries existing colimits in $\mathcal{C}$ to categorical limits of covariant representable functors: maps out of a colimit are exactly compatible families of maps out of its diagram. Equivalently, this embedding preserves existing categorical limits in ${\mathcal{C}}^{\mathrm{op}}$. The direction matters: the paper uses covariant representables, rather than the more usual contravariant Yoneda embedding.

Let $u_{C,x}:C\to R$ be a colimit cocone for $G:\mathrm{Elts}(X)\to \mathcal{C}$. Here the preservation hypothesis must include the categorical limit of $G^{\mathrm{op}}$ in ${\mathcal{C}}^{\mathrm{op}}$; this indexing category can be large. For a morphism $f:(C,x)\to (D,y)$ of the category of elements, the defining equation $X(f)(y)=x$ says that the family of distinguished elements $(x{)}_{(C,x)}$ is compatible. Preservation gives a unique $r\in X(R)$ withIn particular each $u_{C,x}$ is now a morphism $(C,x)\to (R,r)$ in the category of elements. Naturality of the colimit cocone givesThe universal property of the colimit forces $u_{R,r}=1_R$, since it and $1_R$ agree after every cocone leg. If $f:C\to R$ also satisfies $X(f)(r)=x$, it is a morphism $(C,x)\to (R,r)$, and cocone compatibility now yields $u_{C,x}=u_{R,r}f=f$. Thus $(R,r)$ is a universal element. By the preceding representability criterion, the presheaf is represented by the colimit object:The size qualification matters. If preservation means only small categorical limits, the implication as printed is false for general locally small categories. For an explicit counterexample, let $\mathcal{C}$ be the ordered category of all ordinals with an extra greatest object $\infty$. Put $X(\alpha )=\{\ast \}$ for every ordinal $\alpha$ and $X(\infty )=\varnothing$, with the forced restriction maps. Every small colimit in $\mathcal{C}$ is the supremum of its object values: it is an ordinal unless the diagram contains $\infty$. Applying $X$ therefore gives the appropriate small categorical limit of singletons, or the empty set when a value is empty; an empty diagram gives $X(0)=\{\ast \}$. Hence $X$ preserves all small categorical limits.

Its category of elements consists of all ordinals, whose projection has the large colimit $\infty$ in $\mathcal{C}$. Nevertheless, no ordinal represents $X$, because its representable vanishes on larger ordinals; $\infty$ does not represent it either, since $\mathcal{C}(\infty ,\infty )$ is nonempty while $X(\infty )$ is empty. The valid proof consequently uses preservation of the displayed possibly large limit, or a smallness hypothesis making that diagram small.

Suppose $X\cong \mathcal{C}(-,R)$. As a functor on the opposite category, a representable presheaf preserves every existing categorical limit: a colimit in $\mathcal{C}$ is defined by the bijection between morphisms from its vertex into $R$ and compatible families of morphisms from its diagram objects into $R$. This remains valid for a possibly large diagram in a category whenever that colimit exists and the compatible-family collection is the corresponding set.

The category of elements has a terminal object $(R,r)$, where $r$ is the image of $1_R$ under the representation. For each $(C,x)$ let $u_{C,x}:C\to R$ be its unique morphism to $(R,r)$. These form a cocone for the forgetful functor $G$. Any competing cocone $v_{C,x}:C\to A$ satisfiesThe component at $(R,r)$ uniquely determines the mediating morphism. Thus the representing object is the colimit of the elements projection:

The right-adjoint criterion using comma-category colimits is as follows. Under the given colimit-preservation hypothesis, with preservation including the possibly large colimits below, $F:\mathcal{X}\to \mathcal{A}$ has a right adjoint exactly when, for every $A$, the projectionhas a colimit in $\mathcal{X}$. The right adjoint is obtained from these comma-category colimits. Thus the objects to construct areFor necessity, if $F⊣G$ with adjunction counit $\epsilon$, $(GA,{\epsilon }_A)$ is a terminal object of the comma category $(F\downarrow A)$. Its unique incoming morphisms give a colimit cocone for $U_A$, exactly as for the elements projection in the preceding part.

For sufficiency, choose such a colimit $L$ with legs $u_{X,f}:X\to L$. The morphisms $f:FX\to A$ are a cocone on $F{U}_A$. Since $F$ preserves this colimit, there is a unique ${\epsilon }_A:FL\to A$ satisfyingEach $u_{X,f}$ is thus a morphism $(X,f)\to (L,{\epsilon }_A)$ in the comma category. The original colimit cocone gives $u_{L,{\epsilon }_A}{u}_{X,f}=u_{X,f}$ for every object, hence $u_{L,{\epsilon }_A}=1_L$ by the universal property. For any other morphism $h:(X,f)\to (L,{\epsilon }_A)$, cocone compatibility givesSo $(L,{\epsilon }_A)$ is a terminal object. Equivalently, $L$ represents the categorical presheaf $\mathcal{A}(F-,A)$, via $h\mapsto {\epsilon }_{A}Fh$. The functoriality of chosen representations makes these $L$ into $G:\mathcal{A}\to \mathcal{X}$, yielding a natural bijectionThe preservation of these possibly large colimits is essential to the construction of ${\epsilon }_A$. Under a small-only interpretation, the preceding ordinal counterexample also disproves the unqualified converse here. Take $F=X^{\mathrm{op}}:\mathcal{C}\to {\mathbf{Set}}^{\mathrm{op}}$. It preserves all small colimits. For a nonempty set $A$, the comma category $(F\downarrow A)$ has one object over each ordinal and none over $\infty$, so its projection has colimit $\infty$. For $A=\varnothing$, the projection is the identity of $\mathcal{C}$, again with colimit $\infty$. Thus all these projection colimits exist, but $F$ has no right adjoint: the categorical presheaf ${\mathbf{Set}}^{\mathrm{op}}(F-,\{\ast \})=X$ is not representable. This makes the large-preservation qualification substantive.