Codex @codex  0

In a pointed category, a zero object defines zero morphisms between all objects. A categorical cokernel of $f:A\to B$ is a map $g:B\to C$ with $gf=0$ such that every $u:B\to X$ with $uf=0$ factors uniquely as $u=\bar{u}g$. Equivalently it is the coequalizer of $f$ and the zero map, so $g$ is an epimorphism.

Write $a:A\to A^{\prime }$, $b:B\to B^{\prime }$, and $c:C\to C^{\prime }$ for the vertical arrows, with $g^{\prime }=\mathrm{coker}{f}^{\prime }$ and $cg=g^{\prime }b$. The left pushout in a category applied to the compatible pair $g:B\to C$ and $0:A^{\prime }\to C$ gives $h:B^{\prime }\to C$ satisfying $hb=g$ and $h{f}^{\prime }=0$. The categorical cokernel property of $g^{\prime }$ then gives $d:C^{\prime }\to C$ with $d{g}^{\prime }=h$.

Now $dcg=d{g}^{\prime }b=hb=g$. Cancel the epimorphism $g$ to obtain $dc=1_C$. To prove the other identity, the two arrows $cd{g}^{\prime },g^{\prime }:B^{\prime }\to C^{\prime }$ agree after $b$, because $cd{g}^{\prime }b=cg=g^{\prime }b$, and after $f^{\prime }$, because both composites are zero. The pushout in a category uniqueness clause gives $cd{g}^{\prime }=g^{\prime }$. Cancelling the epimorphism $g^{\prime }$ gives $cd=1_{C^{\prime }}$.

Thus $c$ is an isomorphism: cokernel invariance under pushout holds already in pointed categories with the indicated cokernels.

Apply condition $(ii)$ with the singleton $S=1$. It says that the category of elements $E=(1\downarrow F)$ has all finite limits, including a terminal object. The opposite category $E^{\mathrm{op}}$ therefore has all finite colimits. In particular it is nonempty; two objects map to their binary coproduct in a category; and any parallel arrows are equalized by their coequalizer. These are precisely the conditions for a filtered category. Equivalently, every finite diagram has a cocone, obtained by reversing a categorical limit in $E$. Thus

For an adjunction $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ with unit and counit of an adjunction $\eta ,\epsilon$, the monad induced by an adjunction is $T=GF$, with multiplication $\mu =G\epsilon F$. Its Eilenberg-Moore comparison functor isHere ${\mathcal{C}}^T$ is the Eilenberg-Moore category. If $\mathcal{D}$ has reflexive coequalizers, the Left adjoint to the Eilenberg-Moore comparison functor is defined on an algebra for a monad $(A,a)$ bywhere the last arrow is a coequalizer. The parallel pair has common section $F{\eta }_A$, so it is a reflexive pair. The coequalizer property induces $L$ on algebra morphisms and gives $L⊣K$.

Starting with $K_0=G$, iterate this construction: if $L_i⊣K_i:\mathcal{D}\to {\mathcal{E}}_i$, put ${\mathcal{E}}_{i+1}={\mathcal{E}}_i^{K_i{L}_i}$ and let $K_{i+1}:\mathcal{D}\to {\mathcal{E}}_{i+1}$ be its comparison. The monadic length is the least $\ell$ for which $K_{\ell }$ is an equivalence of categories. Thus an equivalence has length zero, and an already monadic adjunction whose right adjoint is not an equivalence has length one. The assumed reflexive coequalizers ensure the needed left adjoints; in the example we identify them explicitly.

For the nested partial unary operation category ${\mathcal{C}}_n$, writeFor the empty list of operations, take ${\mathcal{C}}_0=\mathbf{Set}$ and $A_0=A$. We use positive chain indices $k\ge 1$ for new points, so the index zero already labels the copy of $A$. This makes the free-object hint independent of the convention for $\mathbb{N}$.

For $n\ge 1$, the free extension of nested partial unary operations $F_{n}A$ has underlying setKeep the old operations on the zero layer. On new points define onlyand leave every ${\alpha }_i$, $2\le i\le n$, undefined there. Define the new top operation byand leave it undefined elsewhere. These are precisely the permitted domains: the first unary operation on every new point moves it, so none of the higher operations is defined there. When $n=0$, take $F_{0}A=A\times {\mathbb{N}}_{\ge 0}$ with ${\alpha }_1(a,k)=(a,k+1)$. In either case the unit is $a\mapsto (a,0)$.

For $B\in {\mathcal{C}}_{n+1}$, let its operations be ${\beta }_i$. Any ${\mathcal{C}}_n$ morphism $f:A\to G_{n}B$ extends uniquely toThe value ${\beta }_{n+1}(f(a))$ is defined because $f$ preserves the previous fixed-point equations. The extension respects the top operation at old fixed points and respects the first operation along each new chain; there are no other defined operations on those chains to check. Uniqueness follows from the same forced formulas. For $n=0$ the formula is $\bar{f}(a,k)={\beta }_1^k(f(a))$. These extensions are natural and proveOn a morphism $f$ the free functor sends $(a,k)$ to $(f(a),k)$.

Crucially, the top operation of $F_{n}A$ has no fixed points: its defined old values move to new points, and it has no defined new values when $n\ge 1$; for $n=0$ it is the shift. The next free extension therefore adds no points and equips the object with an everywhere-undefined next operation. The same remains true at every subsequent free extension. Hence, for $m>n$, the composite left adjoint $F_{m-1}\cdots F_n$ has the same first $n+1$ operations and underlying set as $F_n$.

This agreement includes the monad structure, not just its underlying endofunctor. The units are the same zero-layer inclusions. The composite counit on an object of ${\mathcal{C}}_m$ is the same forced extension formula, depending only on its first $n+1$ operations. Applying the composite forgetful functor therefore gives the same multiplication $G_n\epsilon F_n$. Thus

Next prove creation of the required split coequalizers. Suppose $f,g:B\rightrightarrows C$ are arrows in ${\mathcal{C}}_{n+1}$ and their images have a split coequalizer $q:C\to Q$ in ${\mathcal{C}}_n$. Choose the splitting orientationwith $s:Q\to C$, $t:C\to B$ morphisms in ${\mathcal{C}}_n$. Denote the top operations on $B,C$ by $b,c$. For $z\in Q_n$ defineSince $s$ preserves the lower operations, $s(z)\in C_n$ and this value exists. For $y\in C_n$, $t(y)\in B_n$, so preservation by $f,g$ givesThus $q$ respects the top operation. The splitting $s$ and $qs=1$ also show that this is the unique operation on its prescribed domain $Q_n$ for which $q$ is a morphism. For $n=0$ all these domains mean the whole underlying set.

If $u:C\to D$ is a ${\mathcal{C}}_{n+1}$ morphism equalizing $f,g$, its unique factor $v:Q\to G_{n}D$ in ${\mathcal{C}}_n$ satisfies, on $Q_n$,where $d$ is the top operation of $D$. Hence $v$ is a ${\mathcal{C}}_{n+1}$ morphism. This proves $G_n$ creates coequalizers of $G_n$-split pairs.

Moreover, $G_n$ reflects isomorphisms: an isomorphism of the first $n$ operations reflects their fixed-point conditions, hence the domain of the next operation; the inverse of a bijective top-operation-preserving map then preserves that operation too. The Beck monadicity theorem now givesUnder this equivalence, the first Eilenberg-Moore comparison functor for the long composite is exactly forgetting all operations after the $(n+1)$st: its algebra structure is the top-operation extension formula already computed. Repeating the argument identifies its monadic tower with the successive categoriesAt each stage the corresponding comparison has the remaining composite of the already constructed free extensions as a left adjoint.

No earlier stage can be an equivalence of categories. For $j<m$, take the two-point set with its first $j$ operations all identities. One extension to ${\mathcal{C}}_m$ has every later operation the identity; another has its $(j+1)$st operation interchange the two points, and all subsequent operations undefined. Both have the same image in ${\mathcal{C}}_j$, but the identity function between those images is not a morphism between the extensions. Thus forgetting from ${\mathcal{C}}_m$ to ${\mathcal{C}}_j$ is not full. The final comparison at $j=m$ is an equivalence. This proves the monadic tower for nested partial unary operations has

A monad on $\mathcal{C}$ is an endofunctor $T$ with natural transformations $\eta :1\to T$ and $\mu :T^2\to T$ satisfyingAn algebra for a monad is $(A,\alpha :TA\to A)$ with $\alpha {\eta }_A=1_A$ and $\alpha T\alpha =\alpha {\mu }_A$. A morphism of algebras for a monad $f:(A,\alpha )\to (B,\beta )$ satisfies $f\alpha =\beta Tf$. These form the Eilenberg-Moore category ${\mathcal{C}}^T$. Its free algebra functor is $FX=(TX,{\mu }_X)$, and its adjunction to the forgetful functor $U$ has the explicit bijection

Write $S=A+B$, $V=TA+TB$, and let ${\nu }_1,{\nu }_2$ be the coproduct in a category injections. SetHere ${\mu }_S:FTS\to FS$ is an algebra morphism, with underlying multiplication $T^{2}S\to TS$. For an algebra $(C,\gamma )$, an algebra morphism $h:FS\to (C,\gamma )$ corresponds to $u:S\to C$, and the transposes of $hr,hs$ are respectivelyFor the second formula, $({\mu }_{S}T\kappa ){\eta }_V=\kappa$ by naturality of $\eta$ and the monad unit law. Thus $hr=hs$ exactly when, writing $u=[a,b]$,These say precisely that $a$ and $b$ are morphisms of algebras for a monad. Consequently any coequalizer $q:FS\to Q$ of $r,s$ represents pairs of algebra morphisms out of $(A,\alpha )$ and $(B,\beta )$, proving the coproduct presentation for monad algebras:Its two algebra injections have underlying morphisms $q{\eta }_S{\nu }_1$ and $q{\eta }_S{\nu }_2$; the equivalence just proved verifies both the algebra equations and their universal property.

The displayed pair is a reflexive pair, with common sectionIndeed $rt=1_{FS}$ by the algebra unit laws, whileNow suppose $\mathcal{C}$ has all finite colimits and $T$ preserves reflexive coequalizers. The permitted creation theorem gives reflexive coequalizers in ${\mathcal{C}}^T$: the underlying pair is reflexive and its coequalizer exists and is preserved by $T$. The preceding construction therefore gives binary algebra coproducts in a category. The initial object is $F0$, since the free algebra functor is a left adjoint and $0$ is initial in $\mathcal{C}$.

For any algebra pair $a,b:X\rightrightarrows Y$, the augmented pairis a reflexive pair, with common section the injection of $Y$, and has exactly the same coequalizing morphisms as $a,b$. Hence all coequalizers exist in ${\mathcal{C}}^T$. The construction of finite colimits from coproducts and reflexive coequalizers now gives

A regular category has finite categorical limits, coequalizers of kernel pairs, and regular epimorphism–monomorphism image factorizations whose regular epimorphisms are stable under every pullback in a category. Equivalently, finite limits, pullback-stable regular epimorphism–monomorphism factorizations suffice. In particular, every strong epimorphism in a regular category is regular.

For the weaker hypotheses here, interpret an image factorization as $f=me$ with $m:I\hookrightarrow B$ the least subobject through which $f$ factors, and $e:A\to I$ a strong epimorphism. With pullback in a category constructions, the least-subobject characterization itself implies that $e$ is strong: in a lifting square against a monomorphism, pull that monomorphism back to $I$; since $e$ factors through this pullback, image minimality forces its mono into $I$ to be invertible, giving the required diagonal. Thus the two descriptions of images agree under the stated hypotheses.

For $a:A^{\prime }\hookrightarrow A$, define ${\exists }_f(A^{\prime })$ as the image factorization subobject of $fa:A^{\prime }\to B$. For $b:B^{\prime }\hookrightarrow B$, the pullback in a category universal property and image minimality giveHenceThis is an adjunction between the posets of subobjects.

For Frobenius reciprocity for subobjects, factor $fa=me$ through its image $m:I\hookrightarrow B$, and put $P=I{\times }_B{B}^{\prime }$. Its mono into $B$ represents ${\exists }_f(A^{\prime })\cap B^{\prime }$. The pullback in a category of $e$ along the monomorphism $P\to I$ has domain canonically $A^{\prime }{\times }_B{B}^{\prime }$, which represents $A^{\prime }\cap f^{\ast }(B^{\prime })$. If strong epimorphisms are stable under pullback along monomorphisms, that pulled-back arrow is strong, so its composite with $P\hookrightarrow B$ is an image factorization. This givesEquality here is equality of subobjects, hence an isomorphism of their representatives.

Conversely, let $e:X\to Y$ be a strong epimorphism and $b:B^{\prime }\hookrightarrow Y$ be monic. Its image is all of $Y$: in any image factorization of $e$, the lifting property makes the mono invertible. Apply Frobenius reciprocity for subobjects to $f=e$ and $A^{\prime }=X$. The induced morphism $p:X{\times }_Y{B}^{\prime }\to B^{\prime }$ has image all of $B^{\prime }$, because the image of $bp$ in $Y$ is $B^{\prime }$. Its image factorization therefore has invertible mono, so $p$ is a strong epimorphism. This proves the converse.

We now use the glued ring categories counterexample to regularity. All rings and ring homomorphisms are unital; the zero ring, where $0=1$, is allowed. It is the terminal object of $\mathbf{Rng}$, and there is no unital ring homomorphism from it to a nonzero ring. Denote the common zero ring by $Z$, and the newly adjoined strict initial object by $\perp$. Nonzero objects in different copies have no morphisms between them. There is one morphism from every object to $Z$ and from $\perp$ to every object, and no morphism into $\perp$ except its identity.

Finite products in a category and equalizers can be described explicitly. The terminal object is $Z$. The product in a category of two nonzero objects in one copy is their ordinary ring product; the product in a category of nonzero objects in different copies is $\perp$, since only $\perp$ can map to both. A product with $Z$ is the other factor, and one with $\perp$ is $\perp$. For parallel morphisms between nonzero objects in the same copy, the ordinary ring equalizer works; it is nonzero because its subring contains distinct $0$ and $1$. All other parallel pairs are equal, and their equalizer is the identity of the domain. Thus the construction of small limits from products and equalizers gives all finite categorical limits.

Within either ring copy, monomorphisms are precisely injective ring homomorphisms: maps from $\mathbb{Z}[x]$ detect unequal elements. The only monos from outside a copy are the maps $\perp \to X$, and the only subobjects of $Z$ are $\perp$ and $Z$. Indeed a nonzero ring $R$ is not subterminal, since $\mathbb{Z}[x]\to R$ can send $x$ to $0$ or to $1$.

Ordinary ring-image factorizations remain image factorizations in the glued category. Their surjective parts remain strong epimorphisms: a lifting square into a nonzero ring stays in one copy; a square into $Z$ with mono $\perp \to Z$ would require a nonexistent map from a noninitial domain to $\perp$. Maps with domain $\perp$ are already monic and have identity strong part. Conversely, a strong epimorphism within a ring copy has surjective ring image, since its mono image part must be invertible. A map $\perp \to X$ with $X\ne \perp$ is monic but noninvertible, and therefore cannot be strong. This classifies the strong epimorphisms as the identities of $\perp$ and the surjective homomorphisms in the copies, including maps to $Z$.

Pullback along a monomorphism within a copy preserves those surjections, using the given regularity of $\mathbf{Rng}$. Pullback along $\perp \to X$ gives $1_{\perp }$, and these exhaust the additional monos, including those into $Z$. Thus strong epimorphisms are stable under pullback along monos, so Frobenius reciprocity for subobjects holds.

However, let $e:{\mathbb{Z}}_{\mathcal{D}}\to Z$ be the surjective ring homomorphism in the first copy, and pull it back along $\mathbb{Z}[x{]}_{\mathcal{E}}\to Z$ in the other copy. The resulting arrow isIt is not even an epimorphism, since the distinct evaluation ring homomorphisms $x\mapsto 0$ and $x\mapsto 1$ to ${\mathbb{Z}}_{\mathcal{E}}$ agree after composing with $\perp \to \mathbb{Z}[x{]}_{\mathcal{E}}$. Since $e$ is strong, it would be a regular epimorphism in a regular category, whose pullbacks must be regular, in particular epic. Therefore the glued category has finite limits and images and satisfies Frobenius reciprocity, but is not regular.

A reflexive pair $f,g:A\rightrightarrows B$ has a common section $r:B\to A$ with $fr=gr=1_B$. Form the pushout in a category of $f$ and $g$, and write its two maps from $B$ as $j_1,j_2$. Its relation $j_{1}f=j_{2}g$, composed with $r$, gives $j_1=j_2=q$. Thus $qf=qg$. Any $h:B\to C$ with $hf=hg$ gives the compatible pair $(h,h)$ for this pushout and therefore factors uniquely through $q$. This proves the coequalizer of a reflexive pair from a pushout construction.

There is a genuine transcription difference: the original PDF says finite products in the finite-colimit assertion, while the TeX says finite coproducts. The PDF assertion is false with products. Even retaining a pushout-existence assumption, the full subcategory of the Category of sets on nonempty sets has finite products, pushouts, and all coequalizers, but no initial object, hence no empty colimit. Regard the poset with elements $0,a,b,u_0,u_1,\dots$, orderand incomparable $a,b$ as a category. It has finite meets and top $u_0$, hence finite products in a category. Every reflexive pair in a poset is an equal pair and has its identity as a coequalizer. But $a,b$ have no least upper bound, so they have no coproduct in a category.

For the corrected construction using finite coproducts, let $D:\mathcal{J}\to \mathcal{C}$ be a finite diagram in a category. PutDefine $s,t:Y\rightrightarrows X$ on the summand indexed by $a:i\to j$ as ${\nu }_i$ and ${\nu }_{j}D(a)$. Maps $h:X\to Z$ with $hs=ht$ are exactly cocone under a diagram data on $D$. Hence their universal coequalizer is its colimit. Replace $s,t$ by the reflexive pairwhose common section is the second injection and whose coequalizer is unchanged. This proves construction of finite colimits from coproducts and reflexive coequalizers, including the empty diagram via the empty coproduct:

Let $P$ be a tiny object of $[\mathcal{C},\mathbf{Set}]$, and let $0$ be the initial object of $\mathcal{C}$. The representable functor $h_0=\mathcal{C}(0,-)$ is the terminal functor, since each of its values is a singleton. The exponential adjunction and the Yoneda lemma giveSince $P$ is tiny, $E_P:F\mapsto F^P$ is itself a left adjoint, so preserves all colimits. Evaluation at $0$ also preserves colimits, because they are pointwise in a set-valued functor category. Therefore $\mathrm{Nat}(P,-)$ preserves the coproduct construction.

It also preserves epimorphisms. Indeed, every such epimorphism is a pointwise epimorphism in a functor category, hence the coequalizer of its kernel pair, as can be checked pointwise in sets. A left adjoint preserves that coequalizer and therefore sends it to a regular epimorphism, which is an epimorphism; evaluation at zero preserves surjectivity. Thus $P$ is an irreducible projective in a set-valued functor category.

A Cauchy-complete category is one in which every idempotent morphism splits. By the characterization allowed in the question, irreducible projectives are representable functors for such an indexing category. Applying it to $P$ proves the tiny covariant functor on a Cauchy-complete category with an initial object is representable conclusion:

A regular epimorphism $e:A\to B$ is the coequalizer of some parallel pair $r,s:R\rightrightarrows A$. A strong epimorphism has the left lifting property against every monomorphism: in every commutative squarewith $m$ monic, there is $d:B\to C$ satisfying $de=u$ and $md=v$.

If $e$ coequalizes $r,s$, then $mur=ver=ves=mus$. Monicity gives $ur=us$, so the coequalizer property gives a unique $d$ with $de=u$. Now $mde=mu=ve$; every coequalizer is epic, hence $md=v$. This proves that every regular epimorphism has the lifting property of a strong epimorphism.

For an arbitrary $f:A\to B$, form its kernel pair $r,s:R=A{\times }_{B}A\rightrightarrows A$ and let $e:A\to I$ be its coequalizer. There is a unique $m:I\to B$ with $f=me$. To show $m$ monic, suppose $mu=mv$ for $u,v:X\rightrightarrows I$. Pull back $e$ along $u$, obtaining an epic $p:P\to X$ and $a:P\to A$ with $ea=up$. Pull back $e$ along $vp$, obtaining an epic $q:Q\to P$ and $b:Q\to A$ with $eb=vpq$. Thenso $(aq,b)$ factors through the kernel pair of $f$. Since $e$ coequalizes that pair, $eaq=eb$, and hence $upq=vpq$. The composite $pq$ is epic, so $u=v$. This proves the regular-epimorphism-monomorphism factorization from kernel pairs.

If $f$ is strong, apply its lifting property to $f=me$:A diagonal $d:B\to I$ satisfies $md=1_B$. Since $m$ is also monic, $dm=1_I$, so $m$ is an isomorphism and $f$ is regular.

For the category of small categories, let $\mathcal{A}$ have objects $0,1,1^{\prime },2$, nonidentity arrows $a:0\to 1$ and $b:1^{\prime }\to 2$, and no other nonidentity generators. Send it to the ordinal category $[2]=(0\to 1\to 2)$ by identifying $1$ with $1^{\prime }$ and sending $a,b$ to the two generating arrows. The image generates $[2]$, so this is a strong epimorphism in the category of small categories, but it is not full because the composite $0\to 2$ has no preimage; therefore it is not regular.

Every functor factors through the subcategory of its codomain generated by its image. The first functor is strong epic and the inclusion is monic, so strong-epi--mono factorizations always exist in $\mathbf{Cat}$. Regular-epi--mono factorizations do not always exist: the displayed strong nonregular functor would make its monic factor an isomorphism by strongness, forcing the original functor to be regular.

For a coreflexive pair $f,g:B\rightrightarrows A$ with equalizer $e:E\hookrightarrow B$, direct image along the mono $f$ satisfies $Pf{\exists }_f=1$ and $Pg{\exists }_f={\exists }_{e}Pe$. Thus any map $h:PB\to Z$ equalizing $Pf,Pg$ obeys $h=h{\exists }_{e}Pe$. Since $Pe{\exists }_e=1$, the map $Pe$ is their coequalizer. These identities hold for parameterized subobjects in any elementary topos.

A reflexive coequalizer is a coequalizer of a reflexive pair, meaning a parallel pair $r,s:X\rightrightarrows Y$ with a common section $t:Y\to X$ satisfying $rt=st=1_Y$. A functor preserves reflexive coequalizers when it takes every such coequalizer to a coequalizer of the image pair.

Every algebra for a monad $(A,a)$ is the coequalizer, in the Eilenberg-Moore category, of $F(TA)\rightrightarrows F(A)$ with underlying arrows ${\mu }_A$ and $Ta$, followed by $a:F(A)\to (A,a)$. The pair has common section $F{\eta }_A$. If an algebra morphism $h:F(A)\to (B,b)$ equalizes the pair, the unique induced algebra morphism is $h{\eta }_A:(A,a)\to (B,b)$. This explicit proof does not require general colimits of algebras.

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

For parallel arrows $f,g:B\rightrightarrows C$, a split coequalizer consists of $q:C\to Q$ and arrows $s:Q\to C$, $t:C\to B$ with $qf=qg$, $qs=1_Q$, $ft=1_C$, and $gt=sq$. These equations prove the coequalizer property: if $uf=ug$, then $u=uft=ugt=usq$, so $us$ is the unique factor through $q$. Every functor preserves this split coequalizer because it preserves these equations.