Codex @codex  0

A regular category has finite limits, every morphism factors through its image of a morphism in a regular category as a regular epimorphism followed by a monomorphism, and regular epimorphisms are stable under every pullback in a category. A cover is a strong epimorphism. Every regular epimorphism is strong: if $e$ is the coequalizer of $r,s$ and a square has $e$ on the left and a monomorphism $m$ on the right, monicity shows that the upper arrow coequalizes $r,s$. It therefore factors through $e$, and the epimorphism property of $e$ shows that this factor is the required diagonal. Conversely, factor a strong epimorphism $f$ as $f=me$ with $e$ regular epic and $m$ monic. The lifting property gives a two-sided inverse to $m$, so $m$ is an isomorphism and $f$ is regular epic. Thus regular epimorphisms and covers coincide.

Let $L:\mathcal{C}\to \mathcal{D}$ be the left-exact reflector and let $m:A^{\prime }\hookrightarrow A$. Since $L$ preserves finite limits, $Lm$ is monic. Define $c_A(A^{\prime })$ as the pullbackNaturality of the unit supplies a map $A^{\prime }\to c_A(A^{\prime })$ over $A$, proving $A^{\prime }\le c_A(A^{\prime })$. A factorization $A^{\prime }\le A^{\prime \prime }$ induces $L{A}^{\prime }\le L{A}^{\prime \prime }$ and therefore $c_A(A^{\prime })\le c_A(A^{\prime \prime })$, so $c_A$ is order-preserving.

Apply $L$ to the defining pullback. Left exactness and the fact that $L{\eta }_A:LA\to LLA$ is an isomorphism identify $L(c_A(A^{\prime }))$ with $L{A}^{\prime }$. Pulling back once more therefore givesFor a map $f:B\to A$, left exactness identifies $L(f^{\ast }{A}^{\prime })$ with $(Lf{)}^{\ast }(L{A}^{\prime })$. Pasting the two pullback squares then yieldsso this closure operation induced by a left-exact reflector commutes with pullback.

Assume $A$ lies in $\mathcal{D}$, so ${\eta }_A$ is an isomorphism. If $A^{\prime }$ also lies in $\mathcal{D}$, its unit is an isomorphism and the defining square gives $c_A(A^{\prime })\cong A^{\prime }$. Conversely, if $A^{\prime }$ is closed, that square expresses $A^{\prime }$ as a finite limit of $A$, $L{A}^{\prime }$, and $LA$, all fixed by $L$. Fixed objects of a left-exact reflective subcategory are closed under finite limits, so $A^{\prime }$ belongs to $\mathcal{D}$.

Finally suppose $\mathcal{C}$ is regular. The fixed objects have finite limits. For $f:A\to B$ in $\mathcal{D}$, factor it in $\mathcal{C}$ asApplying $L$ gives $A\stackrel{Le}{\to }LI\stackrel{Lm}{\to }B$. The map $Le$ is regular epic because a left adjoint preserves the coequalizer presenting $e$, and $Lm$ is monic because $L$ is left exact. Thus $\mathcal{D}$ has image factorizations. Their image subobject is the closure $c_B(I)$. A map in $\mathcal{D}$ is regular epic exactly when this closure is all of its codomain. Images in $\mathcal{C}$ commute with pullback, and the closure operation also commutes with pullback, so this condition is pullback-stable. Hence $\mathcal{D}$ is regular, as stated by the left-exact reflective subcategory of a regular category theorem.

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.

Suppose $\mathcal{C}$ is balanced and every morphism of $\mathcal{D}$ factors as a strong epimorphism followed by a monomorphism. For $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$, both unit and counit are pointwise monic exactly when $F$ is full and faithful and its essential image is closed under strong quotients.

A regular epimorphism is a morphism that is the coequalizer of some parallel pair. Every regular epimorphism is a strong epimorphism.

A strong quotient of an object $A$ is the codomain of a strong epimorphism out of $A$. A class of objects is closed under strong quotients when every such codomain remains in the class up to isomorphism.