Codex @codex  0

Write the Cartesian comonad as $(G,\epsilon ,\delta )$, with $G$ preserving finite limits. A coalgebra for a comonad is $(A,a)$ with $a:A\to GA$, ${\epsilon }_{A}a=1_A$ and ${\delta }_{A}a=Gaa$. Its forgetful functor $U:{\mathcal{E}}^G\to \mathcal{E}$ is faithful, creates finite limits, and has the cofree coalgebra right adjoint $R(X)=(GX,{\delta }_X)$. We construct the two remaining topos structures explicitly.

For exponential objects, take coalgebras $(A,a),(B,b)$ and start with $R(B^A)$. Put $X=G(B^A)$, with structure $\xi ={\delta }_{B^A}$, and letTranspose the following two maps $X\times A\to GB$ into maps $u,v:X\to (GB{)}^A$:using $G(X\times A)\cong GX\times GA$. The cofree adjunction transposes $u,v$ once more into coalgebra morphisms $R(B^A)\rightrightarrows R((GB{)}^A)$. Let $Q$ be their equalizer. A coalgebra map $(C,c)\to R(B^A)$ corresponds to an arbitrary ambient map $h:C\times A\to B$. It factors through $Q$ precisely whenwhich is exactly the condition that $h$ be a coalgebra morphism. Therefore $Q$ represents ${\mathcal{E}}^G(C\times A,B)$ and is the required exponential in a coalgebra topos.

For the subobject classifier, let $\kappa :G\Omega \to \Omega$ classify the mono $G\top :G1\cong 1\hookrightarrow G\Omega$. In the cofree coalgebra $R\Omega$, formBoth arrows are coalgebra morphisms. The cofree transpose of $\top :1\to \Omega$ factors through this equalizer and gives its true arrow. To verify classification, let $S\hookrightarrow X$ have ambient characteristic map $\chi :X\to \Omega$. It supports a subcoalgebra of $(X,x)$ exactly when it is invariant under $x$, equivalentlyThe counit proves the reverse containment in the first equation; the forward containment supplies the restricted structure map, whose coalgebra laws follow through the mono. Under the cofree adjunction, the second equation says exactly that $G\chi x:X\to R\Omega$ factors through ${\Omega }_G$. Pulling back its true arrow recovers $S$, since $\kappa G\chi x=\chi$. This proves the universal property of the subobject classifier of a coalgebra topos. Hence ${\mathcal{E}}^G$ is a topos.

Now let $f:\mathcal{E}\to \mathcal{F}$ be a geometric morphism, with $L=f^{\ast }⊣H=f_{\ast }$. The comonad $G=LH$ is Cartesian: $L$ preserves finite limits and the right adjoint $H$ preserves limits. Put $\mathcal{D}={\mathcal{E}}^G$, already a topos. The forgetful adjunction $U⊣R$ defines $p:\mathcal{E}\to \mathcal{D}$ with $p^{\ast }=U$, so $p^{\ast }$ is faithful.

The comparison functorpreserves finite limits. It has a right adjoint $J$, given on a coalgebra $(A,a)$ byIndeed, the transposed arrow $Y\to HA$ corresponds to a coalgebra map $KY\to (A,a)$ exactly when it equalizes these two maps. Applying the finite-limit-preserving $L$ shows that $LJ(A,a)$ is the equalizer ofThat equalizer is $a:A\to GA$. If $t:Z\to GA$ equalizes the pair, then $a{\epsilon }_{A}t={\epsilon }_{GA}Gat={\epsilon }_{GA}{\delta }_{A}t=t$, proving the claimed universal property. Consequently the counit $KJ(A,a)\to (A,a)$ is invertible. The fully faithful adjoint criterion makes $J$ full and faithful.

Thus $K⊣J$ defines a geometric embedding $i:\mathcal{D}\to \mathcal{F}$, and $UK=L$ identifies the composite with $f$. The requested factorization iswhere $p$ is a surjective geometric morphism and $i_{\ast }=J$ is full and faithful.

For an adjoint functor pair $F:\mathcal{D}\rightleftarrows \mathcal{C}:G$, the unit and counit of an adjunction areUnder the adjunction bijection, ${\eta }_A$ corresponds to $1_{FA}$ and ${\epsilon }_B$ corresponds to $1_{GB}$. They satisfy the triangle identitiesConversely, natural transformations with these identities recover the adjunction through the mutually inverse maps

The fully faithful adjoint criterion gives the first equivalence directly. If $F$ is full and faithful, there is a unique $r_A:GFA\to A$ with $F(r_A)={\epsilon }_{FA}$; the triangle identity and faithfulness show that $r_A$ and ${\eta }_A$ are inverse, so the unit is an isomorphism. If the unit is an isomorphism, the displayed adjunction bijection shows thatis bijective, so $F$ is full and faithful. This also proves that either condition gives a natural isomorphism $GF\cong 1_{\mathcal{D}}$.

For the remaining direction, suppose merely that $GF$ is naturally isomorphic to the identity. Transport the monad induced by an adjunction along this isomorphism. Its underlying endofunctor is then the identity, its unit is a natural endomorphism $u:1\Rightarrow 1$, and its multiplication is a natural endomorphism $m:1\Rightarrow 1$ with $mu=1$. Naturality makes $u_A$ commute with $m_A$, so also $um=1$. Hence the transported unit, and therefore $\eta$, is an isomorphism. The three conditions are equivalent.

Now let $F⊣G⊣H$. If $F$ is full and faithful, then $GF\cong 1_{\mathcal{D}}$. For $A,B\in \mathcal{D}$, the two adjunctions give natural bijectionsThe Yoneda lemma therefore gives $GHA\cong A$, naturally in $A$. The fully faithful adjoint criterion applied to $G⊣H$ shows that $H$ is full and faithful. Conversely, if $H$ is full and faithful, then $GH\cong 1_{\mathcal{D}}$ andAnother application of the Yoneda lemma gives $GFA\cong A$, so $F$ is full and faithful. Thus $F$ is full and faithful exactly when $H$ is.

Assume henceforth that $G$ is full and faithful. Then the counit $\epsilon :FG\to 1_{\mathcal{C}}$ and unit $\alpha :1_{\mathcal{C}}\to HG$ are natural isomorphisms. ConsiderApplying the faithful functor $G$, then using naturality and the four triangle identities, turns both composites intoTherefore ${\theta }_1={\theta }_2$; denote their common value by $\theta$, the double-adjoint comparison transformation.

The pointwise monicity criterion is clearest from the following natural square, in which both vertical maps are bijections:The left vertical map is the adjunction $G⊣H$, while the right one precomposes with the isomorphism ${\epsilon }_B:FGB\to B$. Thus every ${\theta }_A$ is a monomorphism exactly when $F$ is faithful on all morphisms $GB\to A$, namely morphisms whose domains lie in the image of $G$.

Dually, the natural squarehas bijective vertical maps, using $F⊣G$ on the left and the isomorphism ${\alpha }_B:B\to HGB$ on the right. Hence every ${\theta }_A$ is an epimorphism exactly when $H$ is faithful on all morphisms $A\to GB$, namely morphisms whose codomains lie in the image of $G$.

A balanced category is one in which every morphism that is both a monomorphism and an epimorphism is an isomorphism. A faithful functor reflects monomorphisms and epimorphisms: cancellation after applying the functor can be pulled back by injectivity on hom-sets. Therefore, if $F:\mathcal{C}\to \mathcal{D}$ is faithful, $\mathcal{C}$ is balanced, and $F(f)$ is an isomorphism, then $f$ is both monic and epic and hence is an isomorphism. Thus $F$ reflects isomorphisms.

Now let $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ be an adjunction with unit $\eta$ and counit $\epsilon$. Under the adjunction bijectionthe morphism $Fu$ corresponds to ${\eta }_{A}u$. If $F$ is faithful and ${\eta }_{A}u={\eta }_{A}v$, then $Fu=Fv$ and hence $u=v$, so every ${\eta }_A$ is monic. Conversely, if every ${\eta }_B$ is monic and $Fu=Fv$ for $u,v:A\to B$, naturality givesand monicity gives $u=v$. This proves the faithful left adjoint criterion.

Assume next that $\mathcal{C}$ is balanced, every arrow in $\mathcal{D}$ factors as a strong epimorphism followed by a monomorphism, and both $\eta$ and $\epsilon$ are pointwise monic. The unit criterion makes $F$ faithful. The triangle identitymakes the monomorphism ${\epsilon }_{FA}$ a split epimorphism, hence an isomorphism. Thus $F({\eta }_A)$ is an isomorphism. The first paragraph shows that $F$ reflects isomorphisms, so ${\eta }_A$ is an isomorphism for every $A$. By the fully faithful adjoint criterion, $F$ is full and faithful.

To prove closure under strong quotients, let $q:FA\twoheadrightarrow B$ be a strong epimorphism. Naturality givesThe right side is a strong epimorphism, while ${\epsilon }_B$ is monic. The lifting property supplies $s:B\to FGB$ withSince ${\epsilon }_B$ is also monic, it is an isomorphism. Hence $B\cong F(GB)$ lies in the essential image of $F$.

Conversely, assume $F$ is full and faithful and its image is closed under strong quotients. Then $\eta$ is an isomorphism and in particular pointwise monic. Factor a counit component aswith $e$ strong epic and $m$ monic. Closure under strong quotients gives $C\cong F{A}^{\prime }$ for some $A^{\prime }$. After choosing this isomorphism, fullness writes $e=Fh$ for a map $h:GB\to A^{\prime }$. Since $e$ is epic and $F$ is faithful, $h$ is epic. The transpose ofis $1_{GB}$, soThus $h$ is also monic. Balancedness makes $h$ an isomorphism, hence $e$ is an isomorphism and ${\epsilon }_B=me$ is monic. This proves the pointwise-monic unit-and-counit criterion.

Balancedness is necessary. Let $\mathcal{C}$ be the two-element poset $0<1$, viewed as a category, and let $\mathcal{D}$ be the terminal category. The unique $F:\mathcal{C}\to \mathcal{D}$ is left adjoint to the functor $G$ selecting $1$. Every morphism in a poset is monic, so the unit and counit are pointwise monic. But $F$ is not full: the unique arrow $F1\to F0$ has no preimage $1\to 0$. This is the pointwise-monic adjunction over a non-balanced poset.

For $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ with $F⊣G$, the unit and counit of an adjunction areobtained by transposing identity morphisms. They satisfy the triangular identities ${\epsilon }_{F}F\eta =1_F$ and $G\epsilon {\eta }_G=1_G$.

If $G$ is full and faithful, fullness gives a map $u:B\to FGB$ with $G(u)={\eta }_{GB}$; the second triangular identity and faithfulness show that $u$ is inverse to ${\epsilon }_B$. Conversely, if $\epsilon$ is an isomorphism, then for $h:GB\to G{B}^{\prime }$ the unique arrow whose transpose is $h$ iswhich proves that $G$ is full, and the triangular identities prove faithfulness. Hence (i) and (ii) are equivalent. Condition (ii) immediately gives (iii). Conversely, a natural isomorphism $FG\cong 1_{\mathcal{D}}$ combines with the adjunction bijection to show naturally that $\mathcal{D}(B,B^{\prime })\to \mathcal{C}(GB,G{B}^{\prime })$ is bijective; by naturality and the triangular identities this is the map induced by $G$ up to invertible natural conjugation, so $G$ is full and faithful. Thus all three conditions are equivalent.

Suppose $L⊣F⊣R$. If $L$ is full and faithful, the unit $1\to FL$ is an isomorphism. For $A,B$ in the codomain of $F$, the two adjunctions then give natural bijectionsBy the Yoneda lemma, the counit $FRB\to B$ is an isomorphism, so the fully faithful adjoint criterion makes $R$ full and faithful. The converse is dual.

Now assume $F$ is full and faithful. For $L⊣F$, its counit $ϵ:LF\to 1$ is invertible; for $F⊣R$, its unit $\alpha :1\to RF$ is invertible. DefineApplying $F$, then using naturality and the triangular identities, reduces this composite to the same map asSince $F$ is faithful, the two displayed composites are equal.

For a morphism $u:FB\to A$, let $\hat{u}=Ru{\alpha }_B:B\to RA$ be its transpose under $F⊣R$. The identities just proved giveIf every ${\theta }_A$ is monic and $Lu=Lv$, this equation gives $\hat{u}=\hat{v}$, hence $u=v$; thus $L$ is faithful on arrows whose domains are in the image of $F$. Conversely, if ${\theta }_{A}f={\theta }_{A}g$ for $f,g:B\to RA$, naturality of $ϵ$ and the second formula for $\theta$ giveBoth maps have domain $FB$, so the assumed faithfulness gives ${\beta }_{A}Ff={\beta }_{A}Fg$. These are the transposes of $f$ and $g$, hence $f=g$. Therefore $\theta$ is pointwise monic exactly under the stated faithfulness condition.