Regular Category¶
A finitely complete category in which every morphism has a pullback-stable regular-epimorphism–monomorphism image factorization—equivalently, kernel-pair quotients exist and regular epimorphisms remain regular under pullback.
Core Idea¶
A regular category is a category with enough finite limits and stable quotients to support a well-behaved notion of image. Concretely, every morphism factors as a regular epimorphism followed by a monomorphism, and this image factorization survives pullback. An equivalent axiom package requires finite limits, coequalizers of all kernel pairs, and pullback stability of regular epimorphisms.
This is categorical exactness without assuming additive structure. In the category of sets, every function \(f:X\to Y\) first surjects onto its image and then includes that image into \(Y\); pulling this factorization back along any map \(Y'\to Y\) gives the corresponding image factorization over \(Y'\).
Scope of Application¶
Regular categories sit at the meeting point of categorical algebra, categorical logic, universal algebra, topos theory, and relation calculus. They are useful whenever one needs images and quotients that remain meaningful after changing parameters or base objects.
In categorical algebra, regularity captures exactness properties common to sets, groups, rings, algebraic varieties, abelian categories, and topoi without imposing addition on every hom-set. It is therefore broad enough to compare nonadditive algebra with homological examples while retaining a common image-factorization language.
Clarity¶
Regular Category replaces the vague phrase “images behave well” with four checkable questions:
- Do finite limits exist?
- Does each map's kernel pair have a coequalizer?
- Does that quotient induce a monomorphism into the codomain?
- Do regular epimorphisms remain regular epic after every pullback?
Manages Complexity¶
Stable image factorization compresses arbitrary maps into a two-stage normal form:
with \(e\) regular epic and \(m\) monic. Arguments can separate the quotient-like part from the inclusion-like part instead of reasoning about every map as an indivisible object. Because the factorization is unique up to isomorphism, the image is structural rather than presentation-dependent.
Abstract Reasoning¶
Start with \(f:X\to Y\). Its kernel pair \(R=X\times_YX\) records pairs of generalized elements that \(f\) identifies. Suppose
is the coequalizer. Because \(f r_1=f r_2\), there is a unique \(m:I\to Y\) satisfying \(f=me\). Pullback stability of regular epis forces \(m\) to be monic: informally, any further equality created by \(m\) would pull back to an equality already collapsed by \(e\), contradicting the universality of the kernel-pair quotient.
Knowledge Transfer¶
The identity transfers literally across different categorical substrates. In Set, regular epis are surjections and monos are injections. In Grp, a homomorphism factors through its quotient by the kernel and then into its image subgroup. In an abelian category, the familiar coimage-to-image factorization supplies the same pattern. In a topos, the logical and sheaf-theoretic structure includes regularity as a foundational layer.
Relationships to Other Abstractions¶
Current abstraction Regular Category Domain-specific
Parents (1) — more general patterns this builds on
-
Regular Category is a kind of Category Prime
Regular Category strictly specializes Category.
Hierarchy paths (3) — routes to 3 parentless roots
- Regular Category → Category → Associativity → Invariance
- Regular Category → Category → Closure
- Regular Category → Category → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Regular Category sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Categorical Algebra & Model Systems (8 abstractions)
Nearest neighbors
- Coherent category — 0.88
- Joyal Model Structure — 0.85
- Age (Model Theory) — 0.83
- McKay Graph — 0.83
- Localizing Subcategory — 0.83
Computed from structural-signature embeddings · 2026-09-08