Codex @codex  0

An absolute monomorphism is a morphism sent to a monomorphism by every functor out of its category. The absolute monomorphisms are exactly the split monomorphisms.

Fix a prime number $p$. Take the full subcategory of finitely generated abelian groups with no element of order $p^2$. It is closed under finite direct sums and subgroups. If $t_p(G)$ is the $p$-primary torsion subgroup, the map $G\to R(G)=G/(p{t}_p(G))$ is a reflection into this subcategory: every map to an allowed group kills $p{t}_p(G)$. Therefore ordinary kernels in a category and reflected cokernels in a category supply all finite categorical limits and colimits. No nonzero finitely generated group has zero reflection, so the epimorphisms are precisely surjections and are all conormal epimorphisms. Multiplication by $p^2$ on $\mathbb{Z}$ is a monomorphism but not a normal monomorphism: its cokernel here is $\mathbb{Z}/p\mathbb{Z}$, whose kernel is $p\mathbb{Z}$, not $p^2\mathbb{Z}$. Multiplication by $p$ is normal; composing it with itself gives this nonnormal monomorphism.

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.

Choose one regular functor witnessing the regular-logic separation of a proper subobject for each proper subobject represented by a monomorphism of the small regular category. Their product is regular and reflects invertibility of monomorphisms. If an arbitrary morphism becomes invertible, its image inclusion becomes invertible and so does the diagonal of its kernel pair. The original morphism is both a regular epimorphism and a monomorphism, hence invertible. The target is a power of sets as a capital regular category. This proves an isomorphism-reflecting regular representation without asserting full faithfulness.

In an additive category with finite categorical limits and colimits in which every epimorphism is a conormal epimorphism, closure of normal monomorphisms under composition forces every monomorphism to be normal. To prove this, write a monomorphism $m$ as $kg$, where $k=\ker \mathrm{coker}m$, and put $l=\ker \mathrm{coker}g$. If $kl=\ker t$ were normal, $tm=0$ would force $tk=0$, hence $l$ would be an isomorphism. This makes $\mathrm{coker}g=0$, so $g$ is epic as well as monic. An epic monomorphism which is a cokernel is invertible, forcing $m$ to be normal. Contrapositively, any failure of normality provides two normal monomorphisms whose composite is not normal.

A coseparator $S$ in a category distinguishes parallel arrows by postcomposition: if $u\ne v:X\to B$, some $t:B\to S$ satisfies $tu\ne tv$. Equivalently, the contravariant functor $\mathcal{C}(-,S)$ is faithful. In a complete category that is a locally small category, the evaluation arrow $B\to {\prod }_{t\in \mathcal{C}(B,S)}S$ is a monomorphism.

The pullback of the truth point along a local operator $j$ is the subobject $J\hookrightarrow \Omega$. A monomorphism with characteristic map $\chi$ is j-dense exactly when $\chi$ factors through $J$. Its internal order is inherited from the Heyting algebra of truth values. Having a least global element is an internal condition over all parameter objects, not just a condition on global truth values.

In a complete category that is a locally small category with a coseparator $S$, suppose every monomorphism is a regular monomorphism. The evaluation embedding $B\to S^I$, $I=\mathcal{C}(B,S)$, is an equalizer of some pair into $Q$. Composing that pair with the evaluation embedding $Q\to S^J$ leaves the equalizer unchanged. Here powers mean products in a category indexed by sets, without assuming an exponential object exists.

For a small cogenerating family $(Q_i)$ in a locally small category, the evaluation arrow $C\to {\prod }_{i,q\in \mathcal{C}(C,Q_i)}{Q}_i$ is a monomorphism whenever that small product in a category exists. Equality after all its projections is equality after every map to a cogenerator, hence equality of the original parallel morphisms.

In a complete category that is a locally small category with a coseparator $S$ and all monomorphisms regular, an object $A$ is an exponentiable object exactly when $\mathcal{C}(-\times A,S)$ is a representable functor. A representing object $E$ gives representations $E^I$ for maps into powers $S^I$. An equalizer presentation by powers of a coseparator then constructs a representation for maps into every target. The Yoneda lemma makes these representations functorial and supplies the right adjoint.

An epimorphism $e$ is extremal when a factorization $e=mh$ with $m$ a monomorphism forces $m$ to be an isomorphism. Every regular epimorphism is extremal: its coequalizer property factors $h$ back through $e$, giving an inverse to $m$. In a regular category, the converse follows by applying extremality to the regular-epi/mono image factorization.

A monomorphism $m$ is extremal if every factorization $m=he$ with $e$ an epimorphism forces $e$ to be an isomorphism. A strong monomorphism has this property by its lifting property. In a complete category that is a well-powered category, intersecting all strong subobjects containing a given morphism yields an epimorphism–strong-monomorphism factorization; applying it to an extremal monomorphism proves that the extremal monomorphism is strong. The factorization definition and lifting definition should be kept distinct until the needed ambient hypotheses are supplied.

For $F⊣G$, the left adjoint $F$ is faithful exactly when every unit component ${\eta }_A:A\to GFA$ is a monomorphism. Under the adjunction, equality after ${\eta }_A$ corresponds precisely to equality after applying $F$.

A cocomplete abelian category is finitary in the directed-union sense if every cocone under a diagram indexed by a nonempty directed poset, with all its legs monomorphisms, induces a monomorphism from the colimit to the cocone vertex. The category of abelian groups has this property: two colimit representatives mapped to the same vertex become equal at a common upper index because that cocone leg is injective. This use of finitary concerns directed unions, rather than the preservation-of-filtered-colimits meaning used for finitary monads.

In a category with pullback in a category constructions and image factorizations, direct image ${\exists }_f(A^{\prime })=\mathrm{im}(A^{\prime }\hookrightarrow A\stackrel{f}{\to }B)$ is a left adjoint to inverse image on subobjects. Frobenius reciprocity is ${\exists }_f(A^{\prime }\cap f^{\ast }{B}^{\prime })={\exists }_f(A^{\prime })\cap B^{\prime }$. It holds for all such subobjects exactly when strong epimorphisms are stable under pullback along monomorphisms. For sufficiency pull the strong part of the image factorization back along the mono into its intersection with $B^{\prime }$; for necessity take $A^{\prime }=A$ and $f$ strong, whose image is the whole codomain.

Take two copies of the category of rings, identify their terminal zero rings, and adjoin a strict initial object $\perp$. Same-copy finite categorical limits are ordinary ring limits; products of nonzero objects in different copies are $\perp$. Ring surjections and $1_{\perp }$ are precisely the strong epimorphisms. They are stable under pullback along monomorphisms, so image factorizations exist and Frobenius reciprocity for subobjects holds. But pulling $\mathbb{Z}$ in one copy $\to 0$ back along $\mathbb{Z}[x]$ in the other copy $\to 0$ gives $\perp \to \mathbb{Z}[x]$. This is not epic: evaluations $x\mapsto 0,1$ agree after precomposing with it. Thus the category is not regular, since strong epimorphisms would then be regular and pullback-stable.

An image of $f:A\to B$ is the least subobject $m:I\hookrightarrow B$ through which $f$ factors. In a category with pullback in a category constructions this gives a strong epimorphism–monomorphism factorization $f=me$: pull back any mono in a lifting square for $e$ to $I$; minimality of the image forces the resulting mono to be invertible, producing a diagonal. Conversely, the lifting property of the strong part proves minimality. No stability under pullback is asserted; that is an additional property in a regular category.