Codex @codex  0

Put $P(A)={\Omega }^A$, the power object, with $P(f)$ acting by inverse image of predicates. Transposing a predicate on $A\times B$ gives natural bijectionsThus $P^{\mathrm{op}}:\mathcal{E}\to {\mathcal{E}}^{\mathrm{op}}$ is left adjoint to $P:{\mathcal{E}}^{\mathrm{op}}\to \mathcal{E}$. Its unit ${\eta }_A:A\to PPA$ sends $a$ to evaluation at $a$, namely the predicate $S\mapsto (a\in S)$. This unit is monic: two generalized elements having the same evaluation on all predicates agree by testing the singleton predicate of the first, or equivalently its graph in the relevant parameter product.

We verify a sufficient form of Beck's monadicity theorem: a right adjoint is monadic if it reflects isomorphisms and its domain has, and it preserves, coequalizers of reflexive pairs. Suppose $Pf$ is invertible. Then $PPf$ is invertible, and naturality of the monic unit shows that $f$ is monic. Regard it as the subobject $A\hookrightarrow B$. Its characteristic predicate and the constantly true predicate have the same restriction to $A$, so injectivity of $Pf$ makes them equal. Thus this subobject is all of $B$, and $f$ is invertible. Hence $P$ reflects isomorphisms.

A reflexive pair in ${\mathcal{E}}^{\mathrm{op}}$ is a coreflexive pair $f,g:B\rightrightarrows A$ in $\mathcal{E}$, with a common retraction $r$ such that $rf=rg=1_B$. Its equalizer $e:E\hookrightarrow B$ exists. We show that $Pe:PB\to PE$ is the coequalizer of $Pf,Pg:PA\rightrightarrows PB$. Direct image of subobjects along the mono $f$ defines ${\exists }_f:PB\to PA$, and similarly ${\exists }_e:PE\to PB$. At every parameter object the identities areFor the middle identity, an equality $f(b)=g(b^{\prime })$ forces $b=b^{\prime }$ after applying $r$; their common point must therefore lie in the equalizer. This proves the identity for parameterized predicates, not merely for global elements. If $h:PB\to Z$ satisfies $hPf=hPg$, composing with ${\exists }_f$ gives $h=h{\exists }_{e}Pe$. Thus it factors through $Pe$, and the last displayed identity gives uniqueness. This proves that power objects turn coreflexive equalizers into coequalizers. All hypotheses of the monadicity criterion have now been checked, so $P$ is monadic, with

A logical functor $L:\mathcal{E}\to \mathcal{F}$ preserves finite limits, exponentials and the classifier, hence gives compatible natural isomorphisms $LP\cong PL$ and $LPP\cong PPL$. They respect units and multiplications, because these are defined by evaluation and transposition. Under the displayed equivalences, $L^{\mathrm{op}}$ is therefore the induced functor on double-power Eilenberg-Moore categories. Their forgetful functors create finite limits, and the underlying $L$ preserves them. Consequently the induced functor preserves finite limits, so $L^{\mathrm{op}}$ does too. Reversing arrows proves every logical functor preserves finite colimits.

For the first counterexample, the constant-terminal functor $F:\mathbf{Set}\to \mathbf{Set}$ has the constant-empty functor as left adjoint: both sets of maps in the adjunction are singletons. It preserves exponentials, since $F(B^A)=1=1^1=(FB{)}^{FA}$ with the canonical comparison. It does not preserve the initial object, because $F(0)=1$. Thus preservation of exponentials alone is insufficient.

For the second, take the fixed-point functor $\Gamma :G\text{-}\mathbf{Set}\to \mathbf{Set}$ for $G=\mathbb{Z}/2$. Its left adjoint gives a set the trivial action. The classifier of $G$-sets is the two-element set with trivial action, so $\Gamma$ preserves it and its truth map. Let $X$ be the free two-element $G$-set. The coequalizer of its identity and its swapping automorphism is the singleton $G$-set. Applying $\Gamma$ gives two maps $0\rightrightarrows 0$ followed by $1$, whereas their coequalizer in sets is $0$. Thus $\Gamma$ preserves the classifier but not all finite colimits. These examples also explain why both requirements in logicalness matter.

Use the elementary, or weak, topos axioms: finite limits and a power object $PA$ for every object $A$, naturally representing $\mathrm{Sub}(A\times X)$. No arbitrary products or coproducts are assumed. In particular $\Omega =P1$ is the subobject classifier. Inverse image of the membership relation defines $Pf:PB\to PA$ for $f:A\to B$.

Interchanging the factors in a relation gives natural bijectionsThus the contravariant power-object functor $P:{\mathcal{E}}^{\mathrm{op}}\to \mathcal{E}$ has left adjoint $P^{\mathrm{op}}$. Its adjunction unit ${\eta }_A:A\to PPA$ sends a generalized element $a$ to the predicate on $PA$ given by membership of $a$.

This unit is monic. If $x,y:T\to A$ have the same image under ${\eta }_A$, membership of $x$ and $y$ agrees in every $T$-parameterized subobject of $A$. Apply this to the graph of $x$ in $A\times T$: membership of $x$ is true, so membership of $y$ is true, which means $y=x$. This argument uses parameterized relations, not an assumption that global elements detect morphisms.

The functor $P$ reflects isomorphisms. Suppose $Pf$ is invertible. Then $PPf$ is invertible, and naturality $PPf{\eta }_A={\eta }_{B}f$ together with monicity of ${\eta }_A$ shows that $f$ is monic. Regard $f$ as a subobject of $B$. Its inverse image along itself is the whole of $A$, just as for the whole subobject of $B$. Those two subobjects correspond to maps $1\to PB$; since $Pf$ is monic, they coincide. Therefore the subobject $f$ is all of $B$, and $f$ is an isomorphism.

We now prove the preservation condition for the crude monadicity theorem. A reflexive pair in ${\mathcal{E}}^{\mathrm{op}}$ is a coreflexive pair $f,g:B\rightrightarrows A$ in $\mathcal{E}$, with $rf=rg=1_B$ for some $r:A\to B$. Let $e:E\hookrightarrow B$ be its equalizer. For any monomorphism $m$, define ${\exists }_m$ on power objects by composing a parameterized subobject with $m$; no general image construction is needed because $m$ is monic. Inverse image followed by this extension obeys $Pm{\exists }_m=1$.

Here both $f,g$ are monic. For a parameterized subobject $S$ of $B$, an element $b$ belongs to $g^{-1}(f(S))$ exactly when $gb=f{b}^{\prime }$ for some $b^{\prime }\in S$. Applying $r$ gives $b=b^{\prime }$, so this condition is precisely $b\in S$ and $fb=gb$. Consequently, as morphisms of power objects,If $h:PB\to Z$ equalizes $Pf,Pg$, these identities giveIt therefore factors uniquely through $Pe$, which is a split epimorphism with section ${\exists }_e$. Since $fe=ge$, $Pe$ also equalizes $Pf,Pg$. Hence $Pe$ is their coequalizer. This proves explicitly that power objects turn coreflexive equalizers into coequalizers.

Finite equalizers in $\mathcal{E}$ give all coequalizers of reflexive pairs in ${\mathcal{E}}^{\mathrm{op}}$, and we have shown that $P$ preserves them and reflects isomorphisms. The crude monadicity theorem now yields

Fix a set $I$ of cardinality $\kappa$. If $\mathcal{E}$ has $I$-indexed products in a category, its Eilenberg-Moore category for the double-power monad has them, since the forgetful functor creates existing limits. The displayed equivalence then gives $I$-products in ${\mathcal{E}}^{\mathrm{op}}$, hence $I$-coproducts in a category in $\mathcal{E}$.

For the converse, suppose those coproducts exist. The diagonal $\Delta :\mathcal{E}\to {\mathcal{E}}^I$ is a logical functor, because all the elementary topos structure in ${\mathcal{E}}^I$ is pointwise, and it has left adjoint ${\coprod }_I$. Apply power-object monadicity to both toposes. Under their monadic identifications, ${\Delta }^{\mathrm{op}}$ is the lift of $\Delta$ to the double-power Eilenberg-Moore categories. The base functor $\Delta$ is a right adjoint to ${\coprod }_I$, so the adjoint lifting theorem for monad algebra functors gives a left adjoint to its algebra lift. Its required reflexive coequalizers exist in ${\mathcal{E}}^{\mathrm{op}}$, since they are opposites of finite equalizers in $\mathcal{E}$. Taking opposites gives a right adjoint to $\Delta$, which is exactly the $I$-product functor. Thus the products and coproducts of fixed cardinality in a topos satisfy

The contravariant power-object functor of an elementary topos is monadic. Its double-power unit ${\eta }_A(a)(S)=(a\in S)$ is monic, which helps prove that $P$ reflects isomorphisms. Finite equalizers and the fact that power objects turn coreflexive equalizers into coequalizers give the remaining hypotheses of the crude monadicity theorem.