Codex @codex  0

In the categorical usage where no model structure is specified, an anodyne morphism may mean a morphism that is both a monomorphism and an epimorphism. It need not be an isomorphism unless the category is balanced.

In a balanced category with pullbacks in a category, pull a monomorphism back across the bottom map of a lifting square whose left map is an epimorphism. The resulting monic projection is epic because its composite with the lifted top map is epic. Balancedness makes that projection invertible, producing the unique lift. Conversely, if all monomorphisms are strong monomorphisms, applying the lifting property of a bimorphism to its own square gives its inverse, so the category is balanced. Pullback stability of epimorphisms is not needed.

A balanced category is one in which every morphism that is both monic and epic is an isomorphism. If a faithful functor sends $f$ to an isomorphism, then $f$ is monic: equality $fg=fh$ becomes $FfFg=FfFh$, cancellation gives $Fg=Fh$, and faithfulness gives $g=h$. The same argument on the other side makes $f$ epic. Balance therefore makes $f$ an isomorphism. Thus a faithful functor out of a balanced category reflects isomorphisms.

Under the adjunction, the transpose of $Ff:FX\to FA$ is ${\eta }_{A}f:X\to GFA$. Hence if $F$ is faithful, ${\eta }_{A}f={\eta }_{A}g$ forces $Ff=Fg$ and then $f=g$, making every ${\eta }_A$ monic. Conversely, if the unit is pointwise monic and $Ff=Fg$, naturality gives ${\eta }_{B}f=GFf{\eta }_A=GFg{\eta }_A={\eta }_{B}g$, whence $f=g$. ThereforeWe also use the standard adjunction fact with its justification: $F$ is full and faithful exactly when $\eta$ is invertible. Indeed the composite hom-set map $\mathcal{C}(X,A)\to \mathcal{D}(FX,FA)\cong \mathcal{C}(X,GFA)$ is postcomposition by ${\eta }_A$. If $F$ is full and faithful these maps are bijective; taking $X=GFA$ produces a right inverse, and taking $X=A$ gives injectivity and therefore a left inverse. Conversely an invertible unit makes these hom-set maps bijective.

For the final example, view the two-element ordered set $0<1$ as a category $\mathcal{C}$, and let $\mathcal{D}$ have one object and only its identity. The unique $F:\mathcal{C}\to \mathcal{D}$ is left adjoint to the functor $G$ selecting $1$, since every $\mathcal{C}(x,1)$ is a singleton. Every arrow in an ordered-set category is monic, so the unit arrows $x\to 1$ and the identity counit are monic. But $F$ is not full: $\mathcal{C}(1,0)$ is empty whereas $\mathcal{D}(F1,F0)$ is a singleton. The example does not contradict the upcoming equivalence because $\mathcal{C}$ is not balanced; its arrow $0\to 1$ is both monic and epic but not invertible.

A balanced category is one in which every morphism that is both a monomorphism and an epimorphism is an isomorphism. A strong monomorphism $m:A\to B$ is a monomorphism right orthogonal to all epimorphisms: whenever $e:X\to Y$ is epic and $a:X\to A$, $b:Y\to B$ satisfy $ma=be$, there is a unique $d:Y\to A$ with $de=a$ and $md=b$. A regular monomorphism is an equalizer of some parallel pair of morphisms. Its equalizer property supplies the indicated lift after epic cancellation, so every regular monomorphism is strong.

If every monomorphism is strong and $m:A\to B$ is also epic, apply strongness to the square whose left and right sides are both $m$, with horizontal arrows $1_A$ and $1_B$. The lift $d:B\to A$ satisfies $dm=1_A$ and $md=1_B$. Thus $m$ is invertible and the category is balanced.

Conversely, suppose the category is balanced and has pullbacks in a category. Given the lifting square above, form $P=A{\times }_{B}Y$ with projections $p:P\to Y$, $q:P\to A$. The pair $(a,e)$ gives $h:X\to P$ with $ph=e$, $qh=a$. The pullback of the monomorphism $m$ is monic, so $p$ is monic. It is also epic: $rp=sp$ implies $re=se$, hence $r=s$ because $e$ is epic. Balancedness makes $p$ invertible. Now $d=q{p}^{-1}$ satisfies both required equations, and monicity of $m$ proves uniqueness. Hence in a balanced category with pullbacks, every monomorphism is strong.

For the finite example, choose a strong monomorphism $m:A\to B$ that is not regular. It is not an isomorphism, since an isomorphism is the equalizer of an identical pair. It is not epic either, since an epic strong monomorphism is invertible by the first argument. Consequently there are distinct arrows $r,s:B\rightrightarrows D$ with $rm=sm$. Since $m$ is not the equalizer of this pair, there is a map $h:X\to B$ with $rh=sh$ that does not factor through $m$. Monicity rules out failure of uniqueness, so failure of existence is the only possible failure of its equalizer property.

Define ${\mathcal{C}}_0$ to have four formally distinct objects $a,b,x,d$ and exactly the following six nonidentity arrows:Their only nontrivial composites areThere are no longer composable strings of nonidentity arrows, so these rules define an associative category. Sending $a,b,x,d$ to $A,B,X,D$, respectively, and the six arrows to $m,h,r,s,rm,rh$, defines a functor. It is a faithful functor: every hom-set has at most one arrow except ${\mathcal{C}}_0(b,d)=\{r_0,s_0\}$, and their images are distinct. Faithfulness does not require the four image objects to be distinct.

The map $m_0$ is monic, by direct inspection of arrows into $a$. Neither $m_0$ nor $h_0$ is epic, since the distinct pair $r_0,s_0$ agrees after either. Every other nonidentity arrow has target $d$ and is epic, because there is only one arrow out of $d$. A lifting square against $m_0$ whose left side is one of these epimorphisms would require an arrow $d\to b$, which does not exist. Squares whose left side is an identity have the evident unique lift. Thus $m_0$ is a strong monomorphism.

It is not a regular monomorphism. The only distinct parallel pair out of $b$ is $r_0,s_0$, and $h_0$ equalizes it but has no factorization through $m_0$, since there is no arrow $x\to a$. An identical pair has $1_b$ as its equalizer and cannot have the noninvertible $m_0$ as its equalizer. Therefore

A monomorphism $m:A\to B$ satisfies $mu=mv\Rightarrow u=v$ for every parallel pair into $A$. An epimorphism $e:X\to Y$ satisfies $ue=ve\Rightarrow u=v$ for every parallel pair out of $Y$. A strong monomorphism is a monomorphism with the following lifting property: whenever $e:X\to Y$ is an epimorphism and $mu=ve$, with $u:X\to A$ and $v:Y\to B$, there is a unique $d:Y\to A$ with $de=u$ and $md=v$. A regular monomorphism is a morphism occurring as the equalizer of two parallel maps. A balanced category is one in which every morphism that is both a monomorphism and an epimorphism is an isomorphism.

Suppose $m:A\to B$ equalizes $p,q:B\rightrightarrows D$. If $mu=mv$, the common composite has two factorizations through the equalizer, so its uniqueness property gives $u=v$. Hence every regular monomorphism is indeed a monomorphism.

Now take the lifting square just described. The equations $pmu=qmu$ imply $pve=qve$. Cancel the epimorphism $e$ to obtain $pv=qv$. The equalizer gives a unique $d$ with $md=v$. Since $mde=ve=mu$ and $m$ is a monomorphism, $de=u$. Thus every regular monomorphism is a strong monomorphism; the existence of the lift uses epic cancellation, and its uniqueness uses the equalizer property.

If every monomorphism is strong, let $m:A\to B$ be both a monomorphism and an epimorphism. Use $m$ as both vertical maps in the lifting square, with horizontal maps $1_A$ and $1_B$. The strong monomorphism property gives $d:B\to A$ satisfying $dm=1_A$ and $md=1_B$. Thus $m$ is an isomorphism, proving that the category is balanced.

For the converse, take $e:X\to Y$ epic, $m:A\to B$ monic, and $mu=ve$. Form the pullback in a category of $m$ along $v$:The equality $mu=ve$ gives $t:X\to P$ with $pt=e$ and $qt=u$. By preservation of monomorphisms under pullback in a category, $p$ is monic. It is also epic: if $hp=kp$, then $he=hpt=kpt=ke$, and cancellation of $e$ gives $h=k$. The balanced category hypothesis therefore makes $p$ an isomorphism.

Set $d=q{p}^{-1}$. Then $md=v$ and $de=qt=u$. Any other such lift agrees with $d$ after composing with the monomorphism $m$, so it is equal to $d$. Consequently in a category with pullbacks in a category, being balanced is equivalent to every monomorphism being a strong monomorphism. This is the balanced categories with pullbacks have strong monomorphisms principle; the proof does not assume pullback stability of epimorphisms.

A monomorphism $m:A\to B$ is left cancellable: $mu=mv$ implies $u=v$ for all parallel arrows into $A$. A strong monomorphism is a monomorphism with the following lifting property: if $e:X\to Y$ is an epimorphism and $u:X\to A$, $v:Y\to B$ satisfy $mu=ve$, there is a diagonal $d:Y\to A$ with $de=u$ and $md=v$. It is unique by monicity. An extremal monomorphism is a monomorphism $m$ for which every factorization $m=he$ with $e$ an epimorphism forces $e$ to be an isomorphism. We use the strong lifting formulation for the paper's terminology; below we also justify its equivalence with the extremal formulation under the complete, well-powered hypotheses. A regular monomorphism is an equalizer of two parallel arrows.

First, a strong monomorphism is extremal. In a factorization $m=he$, apply its lifting property with upper arrow $1_A$ and lower arrow $h$. This gives $d$ with $de=1_A$. Since $e$ is an epimorphism, $ede=e$ implies $ed=1$, so $e$ is an isomorphism.

If $m:A\to B$ is an equalizer of $r,s:B\rightrightarrows C$, consider a lifting square as above. The equation $rve=smu=sve$ and the epimorphism property give $rv=sv$. The equalizer property therefore gives a unique $d$ with $md=v$. Monicity then gives $de=u$. Hence every regular monomorphism is a strong monomorphism.

For the intersection of strong subobjects, let $m_i:A_i\to B$ be strong and let $p_i:P\to A_i$ exhibit their intersection, with $m=m_1{p}_1=m_2{p}_2$. Given $mu=ve$ with $e$ an epimorphism, the two strong monomorphisms supply diagonals $d_i:Y\to A_i$ satisfying $d_{i}e=p_{i}u$ and $m_i{d}_i=v$. The pullback in a category property supplies $d:Y\to P$ with $p_{i}d=d_i$. Its two projections show $de=u$, and $md=v$. Thus the intersection is strong. The same argument works for every existing small intersection of strong monomorphisms. Also, composites of strong monomorphisms are strong: first lift through the outer one, then through the inner one.

Write $\mathcal{S}$ for the full subcategory formed by every saturated object with respect to anodyne morphisms, using the paper's anodyne morphism in a category convention. Let $m:C\to B$ be a strong monomorphism and $B$ saturated. For an anodyne morphism in a category $e:X\to Y$ and $u:X\to C$, saturation extends $mu$ to $v:Y\to B$. Since $e$ is an epimorphism, the strong lifting property supplies $d:Y\to C$ extending $u$. Therefore every strong subobject of a saturated object is saturated.

Now assume $\mathcal{C}$ is a complete category and a well-powered category, with the given saturated embeddings. Choose a monomorphism $a:A\to B$ into a saturated object. Intersect all strong subobjects of $B$ through which $a$ factors. They form a set by the well-powered category hypothesis, and the identity of $B$ is one of them. Completeness constructs their intersection, so we obtainBy the intersection of strong subobjects, $m$ is strong; hence $LA$ is saturated. Since $a$ is a monomorphism, so is ${\eta }_A$.

To prove that ${\eta }_A$ is an epimorphism, take $u,v:LA\rightrightarrows D$ with $u{\eta }_A=v{\eta }_A$. Their equalizer $j:E\to LA$ is a regular monomorphism, and ${\eta }_A$ factors through it. The composite $mj:E\to B$ is strong, so it belongs to the family defining $LA$. Minimality gives $t:LA\to E$ with $mjt=m$. Cancelling $m$ gives $jt=1_{LA}$; since $j$ is a monomorphism, also $tj=1_E$. Thus $j$ is an isomorphism and $u=v$. We have provedThis is the saturated reflection from a strong-subobject intersection.

The construction of a least strong subobject and the equalizer argument work for any morphism into any object, without requiring the source map to be monic or the target to be saturated. They give an epimorphism followed by a strong monomorphism. Applying this factorization to an extremal monomorphism makes the first factor invertible; thus the extremal and strong formulations agree under the present complete, well-powered hypotheses.

For every saturated $S$, saturation extends every $f:A\to S$ across the anodyne morphism in a category ${\eta }_A$ to $\bar{f}:LA\to S$. Its extension is unique because ${\eta }_A$ is an epimorphism. Consequentlynaturally in $S$ and $A$. In particular, for $h:A\to A^{\prime }$ define $Lh$ by $Lh{\eta }_A={\eta }_{A^{\prime }}h$; uniqueness proves the identity and composition laws. This constructs the reflector and proves that $\mathcal{S}$ is a reflective subcategory.

Finally we prove that $\mathcal{S}$ is a balanced category. If $e:U\to V$ is epic in $\mathcal{S}$ and $u,v:V\to X$ satisfy $ue=ve$, embed $X$ by a monomorphism $j:X\to Y$ into a saturated object. Fullness makes $ju,jv$ arrows of $\mathcal{S}$, so $ju=jv$ and hence $u=v$. Thus an epimorphism in $\mathcal{S}$ is also epic in $\mathcal{C}$.

A monomorphism $f:U\to V$ in $\mathcal{S}$ is also monic in $\mathcal{C}$: for $a,b:X\to U$, extend them uniquely along ${\eta }_X$ to $\bar{a},\bar{b}:LX\to U$. If $fa=fb$, cancellation of the ambient epimorphism ${\eta }_X$ gives $f\bar{a}=f\bar{b}$, so monicity in $\mathcal{S}$ gives $\bar{a}=\bar{b}$ and $a=b$. Now if $f$ is both monic and epic in $\mathcal{S}$, it is an anodyne morphism in a category in $\mathcal{C}$. Saturation of $U$ extends $1_U$ across $f$ to $r:V\to U$ with $rf=1_U$. Ambient epicity gives $fr=1_V$. Fullness puts this inverse in $\mathcal{S}$, proving

Assume $F$ is a full and faithful functor and its essential image is closed under strong quotients. First its unit is invertible. To prove this directly, fullness gives $k:GFA\to A$ with $Fk={\epsilon }_{FA}$. The triangle identity and faithfulness give $k{\eta }_A=1_A$. Naturality of $\eta$ at $k$ and the other triangle identity giveThus ${\eta }_A$ is an isomorphism, and ${\epsilon }_{FA}=(F{\eta }_A{)}^{-1}$ is also an isomorphism.

Factor ${\epsilon }_B$ as a strong epimorphism followed by a monomorphism. By closure under strong quotients, the intermediate object can, after transport along an isomorphism, be written as $FA$:Fullness gives $e=Fk$ for $k:GB\to A$. Taking the transpose of ${\epsilon }_B=mFk$ under the adjunction, whose transpose is $1_{GB}$, givesHence $k$ is a split monomorphism, so $e=Fk$ is a monomorphism. A strong epimorphism which is monic is invertible: apply its lifting property to the square with that same map on both sides and identity top and bottom edges. Thus $e$ is invertible and ${\epsilon }_B=me$ is monic. We have proved the pointwise-monic unit-and-counit criterion:For a counterexample without the balanced hypothesis, use the pointwise-monic adjunction over a non-balanced poset. Let $\mathcal{C}=\{0<1\}$ and let $\mathcal{D}$ have one object and only its identity. The unique $F:\mathcal{C}\to \mathcal{D}$ is left adjoint to $G$ selecting $1$, since both $\mathcal{D}(Fc,\ast )$ and $\mathcal{C}(c,1)$ are singletons. All morphisms in a poset viewed as a category are monomorphisms, so the unit and counit are monic. However $F$ is not full: the identity $F1\to F0$ has no preimage $1\to 0$. The arrow $0\to 1$ is both monic and epic but not invertible, so $\mathcal{C}$ is not a balanced category. The balanced hypothesis cannot be dropped.

A balanced category is one in which every morphism that is both a monomorphism and an epimorphism is an isomorphism. A faithful functor reflects both of these cancellation properties: for instance, $fu=fv$ implies $FfFu=FfFv$, so monicity of $Ff$ and faithfulness imply $u=v$; the dual argument applies to epimorphisms. If $Ff$ is invertible, it is both monic and epic. Thus a faithful functor from a balanced category reflects isomorphisms.

For the adjunction $F⊣G$, the unit and counit of an adjunction satisfyIf $F$ is a faithful functor and ${\eta }_{A}u={\eta }_{A}v$, applying $F$ and composing with ${\epsilon }_{FA}$ gives $Fu=Fv$, hence $u=v$. Thus each ${\eta }_A$ is a monomorphism. Conversely, if every ${\eta }_A$ is monic and $Fu=Fv$ for $u,v:X\to A$, naturality givesso $u=v$. This proves the faithful left adjoint criterion.

Now assume both $\eta$ and $\epsilon$ are pointwise monic. The first triangle identity makes ${\epsilon }_{FA}$ a split epimorphism; since it is also a monomorphism, it is invertible and $F{\eta }_A$ is its inverse. The faithful left adjoint criterion says that $F$ is faithful, and the balanced category argument above then reflects the invertibility of $F{\eta }_A$ to that of ${\eta }_A$.

For completeness, an invertible unit makes $F$ a full and faithful functor. For $h:FA\to F{A}^{\prime }$, set $k={\eta }_{A^{\prime }}^{-1}G(h){\eta }_A$. The triangle identity gives $F{\eta }_A={\epsilon }_{FA}^{-1}$, so naturality of $\epsilon$ yieldsFaithfulness was already proved.

Let $q:FA\to B$ be a strong epimorphism, and putThen naturality gives ${\epsilon }_{B}t=q$. The square with left edge $q$, right edge the monomorphism ${\epsilon }_B$, top edge $t$, and bottom edge $1_B$ has a diagonal $s:B\to FGB$ by the defining lifting property of a strong epimorphism. Thus ${\epsilon }_{B}s=1_B$. A monic split epimorphism is invertible, so $B\cong FGB$. The essential image of $F$ is therefore closed under strong quotients.

A monomorphism is a left-cancellable morphism. A strong monomorphism $m:S\to A$ has the right lifting property against every epimorphism: from a commutative squarewith $e$ epic, one obtains $d:Y\to S$ satisfying $de=u$ and $md=v$. A regular monomorphism is an equalizer of a parallel pair.

Suppose $m:S\to A$ equalizes $r,s:A\rightrightarrows C$. In the square above,Since $e$ is epic, $rv=sv$, so the universal property of the equalizer gives the required $d$. Thus every regular monomorphism is strong.

Let $m_i:S_i\to A$ be strong for $i=1,2$, and let $P=S_1{\times }_A{S}_2$. Given a lifting square against $P\to A$, compose its top map with each projection. Strength of $m_i$ produces maps $d_i:Y\to S_i$ with $m_i{d}_i=v$. The pair $(d_1,d_2)$ has equal composites to $A$, hence induces $d:Y\to P$. Therefore intersections of strong subobjects are strong.

Call a morphism anodyne when it is both monic and epic, and call an object saturated when it is injective with respect to every such morphism. Let $m:S\to B$ be a strong subobject of a saturated object. Given an anodyne $e:X\to Y$ and $u:X\to S$, saturation of $B$ extends $mu$ to some $v:Y\to B$. Strength of $m$ applied to $mu=ve$ lifts $v$ to $d:Y\to S$ with $de=u$. Hence $S$ is saturated.

Now embed $A$ as a subobject of a saturated object $B$. Since the category is well-powered, the strong subobjects of $B$ through which $A\to B$ factors form a set; completeness supplies their intersection $j:R\to B$. The same coordinatewise lifting argument used for two factors shows that $j$ is strong, so $R$ is saturated.

The induced map $\eta :A\to R$ is monic. To prove it epic, let $f,g:R\rightrightarrows C$ satisfy $f\eta =g\eta$. Their equalizer $q:E\to R$ is regular and hence strong. Composites of strong monomorphisms are strong, so $jq:E\to B$ is a strong subobject containing $A$. Minimality of the intersection forces $R\to B$ to factor through $E$, which implies $f=g$. Thus $\eta$ is epic and therefore anodyne.

For every saturated $S$, each map $a:A\to S$ extends across $\eta$ to a map $\bar{a}:R\to S$. This extension is unique because $\eta$ is epic. Consequently $A\mapsto R$ is left adjoint to the inclusion of saturated objects: the full subcategory $\mathcal{S}$ is reflective. This is the saturated reflection from a strong-subobject intersection.

It remains to prove that $\mathcal{S}$ is balanced. First let $e:X\to Y$ be epic in $\mathcal{S}$. If $f,g:Y\rightrightarrows Z$ are morphisms in the ambient category, embed $Z$ into a saturated object $T$. Equality $fe=ge$ then implies equality after composing with $Z\to T$; epicity in the full subcategory gives equality there, and monicity of $Z\to T$ gives $f=g$. Thus $e$ is epic in the ambient category.

If $e:X\to Y$ is also monic in $\mathcal{S}$, it is monic in the ambient category as well. Indeed, for $u,v:W\rightrightarrows X$ with $eu=ev$, reflect $W$ by an anodyne map $W\to RW$. Saturation extends $u$ and $v$ to $\bar{u},\bar{v}:RW\rightrightarrows X$; ambient epicity of $W\to RW$ and monicity of $e$ inside $\mathcal{S}$ give $\bar{u}=\bar{v}$, hence $u=v$. Therefore $e$ is anodyne in the ambient category. Saturation of $X$ extends $1_X$ across $e$ to a retraction $r:Y\to X$. Since $e$ is epic, $ere=e$ implies $er=1_Y$, so $e$ is an isomorphism. Hence $\mathcal{S}$ is balanced.

The assertion that filtered colimits commute with finite limits in sets means that for every filtered category $\mathcal{J}$, every finite category $\mathcal{I}$, and every functor $D:\mathcal{I}\times \mathcal{J}\to \mathbf{Set}$, the canonical comparisonis a bijection. Surjectivity follows because an element on the right uses only finitely many representatives and compatibility equations, so filteredness moves all of them to one common stage. For injectivity, equality likewise consists of finitely many equalities, which become true at one later common stage.

The dual assertion fails in ${\mathbf{Set}}^{\mathrm{op}}$. Equivalently, cofiltered limits need not commute with finite colimits in sets. Index inverse systems by $n\in \mathbb{N}$, with arrows $n+1\to n$, and putusing the inclusions $A_{n+1}\hookrightarrow A_n$ and the unique maps $A_n\to B_n,C_n$. Since $A_n$ is nonempty, the pushout $B_n{\bigsqcup }_{A_n}{C}_n$ is a singleton at every stage, so its inverse limit is a singleton. Butand the pushout of the inverse limits is $1{\bigsqcup }_{\varnothing }1$, which has two elements. Thus a cofiltered limit fails to preserve this finite pushout.

Let $F$ be a presheaf of sets on a topological space $X$. The neighborhoods of $x$, ordered by reverse inclusion, form a filtered category, andThe first result therefore says that the stalk functor for presheaves of sets preserves finite limits.

For a set $S$, define a presheaf $R_{x}S$ bywith identity restrictions between neighborhoods of $x$ and the unique maps to $1$ otherwise. A natural transformation $F\to R_{x}S$ is exactly a compatible family of maps $F(U)\to S$ over neighborhoods of $x$, hence exactly a map $F_x\to S$. Thusso $R_x$ is right adjoint to the stalk functor.

Now restrict to sheaves. Suppose two morphisms $\alpha ,\beta :F\rightrightarrows G$ induce the same map on every stalk. For $s\in F(U)$ and every $x\in U$, equality of the two germs gives a neighborhood $V_x\subseteq U$ on which $\alpha (s)$ and $\beta (s)$ agree. The $V_x$ cover $U$, so the uniqueness axiom for $G$ gives $\alpha (s)=\beta (s)$. Therefore the joint stalk functor on sheaves of setsis faithful.

The presheaf $R_{x}S$ above is already a sheaf: an open containing $x$ has a cover member containing $x$, and compatibility forces one common element of $S$. Hence a right adjoint to $P$ sends a family $(S_x)$ to the product ${\prod }_x{R}_x{S}_x$, whose existence follows from the assumed closure of $\mathbf{Sh}(X)$ under limits.

Each stalk preserves finite limits, so $P$ preserves equalizers. If $P(f)$ is an isomorphism, its monicity and epicity are reflected by the faithful functor $P$; since $\mathbf{Sh}(X)$ is assumed balanced, $f$ is an isomorphism. Thus $P$ reflects isomorphisms. The Beck comonadicity theorem now applies: $P$ has a right adjoint, reflects isomorphisms, and preserves the required equalizers. Consequently $P$ is comonadic.

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.