Epimorphism

1 Basic definition of epimorphisms

In category theory, an epimorphism (or epi) is a morphism that is “left-cancellable” with respect to composition from its codomain. Concretely, a morphism \(f: A \to B\) is an epimorphism if for any object \(C\) and any two morphisms \(g,h: B \to C\), the equality \[ g \circ f = h \circ f \] implies \[ g=h. \] Equivalently, \(f\) is epi precisely when post-composition with \(f\) loses no information about morphisms out of \(B\).

1.1 Epimorphisms via the right-cancellation property

The defining property can be phrased as a right-cancellation law: \(f\) cancels on the right for equality of morphisms. In practice, this means that if two candidate maps out of the codomain become indistinguishable after composing with \(f\), then they were indistinguishable already.

This viewpoint is categorical rather than set-theoretic: “agreement” happens at the level of morphisms, not at the level of individual points.

1.2 Diagrammatic characterization (commutative diagrams)

The cancellation property is often represented by a commutative diagram. If \(f: A \to B\) is epi, then for every diagram of the form \[ \begin{array}{ccc} A & \xrightarrow{f} & B \\ & \searrow & \downarrow g \\ && C \end{array} \] and similarly with \(h: B \to C\), the condition \(g\circ f = h\circ f\) forces the arrows from \(B\) to \(C\) to coincide. Diagrammatically, any two ways of extending along \(f\) that produce the same composite must already be the same extension.

1.3 Relationship to “surjectivity” in Set

In the category Set, the categorical definition matches the usual notion:

• If \(f: A \to B\) is surjective as a function, then it is epi because any two maps \(g,h: B \to C\) that agree on all elements of \(B\) must be equal.
• Conversely, if \(f\) is epi, then it must be surjective: if an element \(b \in B\) were missed by \(f\), one can construct two distinct functions out of \(B\) that nevertheless coincide after composing with \(f\).

Thus, in Set, epimorphisms and surjections coincide.

1.4 Examples in common categories

Across other familiar categories, epimorphisms may differ from “surjective maps”:

• In many algebraic categories (such as groups), the epi condition often corresponds to being surjective on underlying elements, but this depends on the specific category and morphism definition.
• In categories of structured objects, epimorphisms can fail to be surjective on elements while still being epis in the categorical sense.
• In topological settings, “continuous surjection” and “categorical epi” align under certain conditions, but not always.

These examples highlight that epis are intrinsic to the ambient category.

2 Epimorphism properties and reformulations

Because epimorphisms are defined by a universal cancellation property, they admit multiple equivalent characterizations in many categories.

2.1 Stability under composition

Epimorphisms compose. If \(f: A \to B\) and \(g: B \to C\) are epimorphisms, then \(g \circ f: A \to C\) is also an epimorphism. This follows directly from the cancellation definition: if two maps out of \(C\) become equal after composing with \(g\circ f\), then they already become equal after composing with \(g\), and then equal after composing with \(f\).

2.2 Epimorphisms and categorical equivalences

Epimorphism status is preserved under categorical equivalences. If \(F:\mathcal{C}\to\mathcal{D}\) is an equivalence and \(f\) is epi in \(\mathcal{C}\), then \(F(f)\) is epi in \(\mathcal{D}\). Informally, equivalences preserve the structure needed to test cancellation properties, because they induce bijections on hom-sets up to coherent isomorphism.

2.3 Dual notions: monomorphisms and their contrast

The definition of a monomorphism (mono) is dual: a morphism \(m: A \to B\) is mono if it is left-cancellable, meaning that for any \(D\) and morphisms \(u,v: D \to A\), \[ m\circ u = m\circ v \implies u=v. \] Many properties of epis have dual statements for monos, and one often translates between them by reversing arrows.

2.4 Characterizations using universal properties

In categories with appropriate limits/colimits, epimorphisms can be described via universal constructions such as coequalizers and quotients. When an epi is part of a universal quotient-like diagram, the epi condition is reflected by that universality.

In general, however, such relationships depend on which notion of quotient is available and how it interacts with the category’s morphisms.

3 Epimorphisms in specific categories

The behavior of epis depends strongly on the category.

3.1 Categories of sets and functions

Consider the category Set.

3.1.1 When epis are exactly surjections

As noted, in Set epimorphisms coincide with surjective functions. This can be shown by constructing separating maps: if a function fails to hit some element of the codomain, one can define two distinct maps out of the codomain that agree on the image of the original function, contradicting the epi property.

3.2 Groups and other algebraic structures

In categories of algebraic structures (groups, rings, modules, and similar varieties of universal algebra), epi behavior is tied to how homomorphisms identify structure.

3.2.1 Surjective homomorphisms versus categorical epis

In many common algebraic categories, categorical epimorphisms correspond closely to surjective homomorphisms, but the exact match can vary with the category. In many standard algebraic settings, an epi is forced to be surjective at the level of underlying elements because otherwise one can define two different structure-preserving maps that disagree on the “missing” part.

Nonetheless, careful statements require checking the specific category: some categories of algebraic objects have epis that are not set-theoretically surjective due to structural constraints and the way homomorphisms are defined.

3.3 Topological spaces

Let Top denote the category of topological spaces with continuous maps.

3.3.1 Continuous surjections and categorical behavior

In Top, categorical epimorphisms are related to surjectivity and density, but the exact characterization is subtler than in Set. Continuous maps can fail to be surjective while still being epi if the categorical tests cannot distinguish the missed points via continuous maps out of the codomain.

In contrast, many subcategories of topological spaces and additional separation properties can restore stronger relationships between epis and surjective continuous maps.

3.4 Categories of modules

For modules over a ring \(R\), consider Mod-\(R\).

3.4.1 Epimorphisms as quotient maps (in standard settings)

In module categories, epimorphisms coincide with surjective module homomorphisms. Consequently, an epi \(f: M \to N\) typically presents \(N\) as a quotient of \(M\) by \(\ker(f)\), aligning epis with quotient structures. This makes module categories a standard environment where epimorphisms behave exactly as “quotient maps.”

4 Factorizations involving epimorphisms

A major reason epis matter is their role in factorization theorems that decompose morphisms into simpler pieces.

4.1 Image factorization (epi–mono style)

Many categories support an image factorization: a morphism can be expressed (up to isomorphism) as an epimorphism followed by a monomorphism, where the mono captures the “image” and the epi captures the “quotienting” step that produces that image.

In Set, this is the familiar decomposition \(A \twoheadrightarrow \mathrm{im}(f) \hookrightarrow B\). In more general categories, the “image” is replaced by categorical analogues, and existence of such factorizations depends on the category having suitable limits/colimits and exactness properties.

4.2 Regular epimorphisms

A regular epimorphism is an epi that arises as a coequalizer. More precisely, \(f\) is regular epi if there exists a parallel pair \(p,q: X \rightrightarrows Y\) such that \(f\) is the coequalizer of \(p\) and \(q\).

Regular epis tend to behave better than arbitrary epis: they are more stable under constructions like pullbacks in well-behaved categories, and they align naturally with notions of quotient by an equivalence relation induced by \(p\) and \(q\).

4.3 Strong epimorphisms

A strong epimorphism is an epimorphism that remains epi under pullback along any morphism. This “robust under base change” feature distinguishes strong epis from general epis, since arbitrary epis may fail to be preserved by pullbacks.

Strong epis therefore provide a notion of epi that is compatible with categorical geometry and diagram chasing involving pullbacks.

4.4 Effective epimorphisms and exactness

An effective epimorphism is related to the existence of coequalizer descriptions determined by the morphism itself. In many exact contexts, effective epis and regular epis coincide, and they capture precisely those epis that arise as “real quotients” by suitable equivalence relations.

In exact categories (a class of categories studied in categorical algebra), effective epimorphisms play a central role: they are the epis that correspond to exactness data, ensuring that “quotienting” behaves as expected.

5 Behavior under categorical constructions

How epis interact with colimits and limits is a core theme.

5.1 Coproducts and epimorphisms

In many categories, epimorphisms behave predictably with respect to coproducts. For example, forming a coproduct can preserve epis in ways that reflect how maps out of the coproduct correspond to tuples of maps out of the summands.

However, the precise preservation depends on the category’s structure; some categories preserve regular epis under coproducts, while others require additional assumptions.

5.2 Colimits and detecting epimorphisms

Because epi-ness is defined by a condition on maps out of the codomain, colimits often help detect or construct epimorphisms. In categories where coequalizers exist, one can build candidate epis as universal arrows from parallel morphisms.

Detection can also use the fact that in many settings, epimorphisms correspond to surjectivity at the level of certain hom-functors or to exactness properties tied to colimits.

5.3 Pullbacks, pushouts, and preservation results

Pullbacks measure stability under change of base, while pushouts measure gluing along maps.

• Regular epimorphisms are often stable under pullback in regular or exact categories.
• Strong epimorphisms are stable under pullback by definition.
• General epimorphisms may not be preserved under pullbacks without extra hypotheses.

Pushouts interact similarly: if an epi is used to form a pushout, one expects resulting arrows to remain epis in many algebraic and exact contexts.

5.4 Limits of epimorphisms: what can fail

Not every epi enjoys good behavior. Typical failures include:

• An epi that is not stable under pullback, meaning the pullback projection may fail to be epi.
• An epi that cannot be realized as a coequalizer, so it lacks “effective” quotient interpretations.
• Categories where colimit-based reconstruction of epis is not available or requires additional constraints.

These limitations are why the finer notions (regular, strong, effective) are studied.

6 Epimorphisms in advanced categorical frameworks

Higher-level categorical properties refine the meaning and usefulness of epimorphisms.

6.1 Epi–mono factorization systems

Some categories admit factorization systems where every morphism factors uniquely (up to isomorphism) into a morphism from one class followed by a morphism from another class, typically with epis playing the role of the first factor and monos the second.

In such settings, epis are not only cancellable but also systematically tied to “images” and “subobjects,” making them easier to work with in proofs.

6.2 Regular categories and epi regularity

A regular category is one where finite limits exist, and every morphism factors as a regular epi followed by a mono, with regular epis stable under pullback.

In a regular category, “regular epi” becomes a robust replacement for general epimorphism, and epi properties can often be treated using coequalizers and equivalence relations.

6.3 Exact categories and effective epimorphisms

Exact categories strengthen regular categories by requiring that certain equivalence relations be effective, meaning they arise from actual coequalizer diagrams.

Within exact categories, effective epimorphisms and regular epimorphisms typically coincide, so epis align with concrete quotient-like constructions. This makes them central in categorical algebra, where “exactness” plays the role of capturing well-behaved quotient and kernel-pair behavior.

6.4 Toposes: epi behavior and sheaf intuition

A topos is a category with strong logical and structural properties, including exponentials and a well-behaved notion of subobject classifier.

In a topos, epimorphisms interact closely with the internal logic. Intuitively, epis correspond to maps that are “surjective in the internal sense,” and one can reason about them using internal truth values rather than external element chasing. This internal viewpoint explains why epis can be subtle from a purely set-based perspective.

7 Computation and checking epis

Determining whether a morphism is an epi can be straightforward in some categories and challenging in others.

7.1 How to test the defining property in practice

The direct definition requires checking whether post-composition with \(f\) is injective on hom-sets: \[ f \text{ epi } \Longleftrightarrow \forall C,\ \mathrm{Hom}(B,C)\to \mathrm{Hom}(A,C),\ g\mapsto g\circ f \] is injective.

In practice, this is rarely checked for all \(C\). Instead, one uses structural theorems (e.g., “epis are surjections” in Set or module categories) or reduces to special test objects when possible.

7.2 Using hom-functors to detect epis

Often, one can detect epimorphisms by applying hom-functors to the morphism. If there exists a class of objects \(C\) for which injectivity of the induced maps on \(\mathrm{Hom}(B,C)\) characterizes epimorphisms, then checking those cases suffices.

This strategy is especially effective when the category is enriched by a reliable supply of representable tests or when generators exist.

7.3 Using internal logic or element-like criteria

In categories with internal logic (notably toposes), an “element-like” criterion can exist internally: an epi corresponds to a statement that holds for all generalized elements. While this is not always reducible to ordinary element-wise surjectivity, it provides a computational framework aligned with the category’s logic.

In other categories, element-like reasoning may still help when morphisms can be interpreted concretely (e.g., modules).

7.4 Common pitfalls and misconceptions

Common errors include:

• Assuming “epi” always means “surjective on underlying sets.” This is true in Set and module categories but not generally.
• Confusing epimorphisms with quotient maps without verifying the category’s quotient/coequalizer structure.
• Forgetting that the epi property depends on morphisms out of the codomain, so a map can be epi even if it fails naive surjectivity.

Awareness of category-specific behavior is essential.

8 Related concepts and terminology

Epimorphisms sit in a network of closely related notions.

8.1 Quotients and coequalizers

Quotients are typically expressed categorically via coequalizers. When a morphism is the coequalizer of some parallel pair, it becomes a regular epi and thus a strong candidate for an “effective quotient” interpretation.

8.2 Regular epis versus coequalizers

Regular epimorphisms are defined to be coequalizers of parallel pairs. Thus, regular epis are exactly the morphisms that come with a canonical coequalizer description. In many exact or regular settings, this characterization is not merely definitional but also powerful for computations and stability arguments.

8.3 Cokernels and their connection to epis

In additive categories or abelian categories, cokernels often provide a standard way to produce epis. A cokernel morphism is typically an epi, though the converse can depend on extra exactness conditions. The relation comes from how kernels and cokernels fit into exact sequences.

8.4 Factorization through images and quotients

Factorizations often combine two complementary perspectives:

• Image factorization separates a morphism into an epi (creating the image) and a mono (embedding it).
• Quotient factorization interprets the epi as quotienting by a kernel-like relation.

When the category supports image and quotient constructions coherently, epimorphisms become the bridge between “what is produced” (images) and “what is identified” (quotients).