CatDat

regular epimorphism

A morphism $f : A \to B$ is a regular epimorphism if it is the coequalizer of a pair of morphisms $g,h : C \rightrightarrows A$. In many categories appearing in practice, this is the same as a quotient.

• Dual property: regular monomorphism
• Related properties: effective epimorphism, epimorphism, normal epimorphism, strict epimorphism
• nLab Link

Relevant implications

• effective epimorphism implies regular epimorphism
• epimorphism () implies regular epimorphism
• normal epimorphism implies regular epimorphism
• regular epimorphism implies epimorphism
• regular epimorphism () implies normal epimorphism
• regular epimorphism implies strict epimorphism
• split epimorphism implies regular epimorphism
• strong epimorphism () implies regular epimorphism

Examples

There are 5 morphisms with this property.

• identity map of a group
• identity map of a set
• map into the singleton set
• reduction modulo p
• universal split epimorphism

Counterexamples

There are 8 morphisms without this property.

• Baer-Specker relations
• embedding of A3 into S3
• embedding of integer into rational numbers
• handle of the universal fork
• map from the empty set
• multiplication with 2
• presentation of the walking idempotent
• universal morphism

Unknown

There are 0 morphisms for which the database has no information on whether they satisfy this property.

—