strict epimorphism
A morphism is a strict epimorphism if it is the joint coequalizer of all pairs of morphisms that it coequalizes. That is, is an epimorphism, and a morphism factors through if we have for all morphisms that satisfy . In other words, the minimal requirement for a morphism to factor through is actually sufficient.By the implications below, strict epimorphisms are closely related to effective and regular epimorphisms. Every effective epimorphism is regular and hence strict, and in a category with pullbacks, every strict epimorphism is effective. Thus, in categories with pullbacks, all three mentioned classes of epimorphisms coincide. See also this overview.
Relevant implications
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 10 morphisms without this property.
- Baer-Specker relations
- embedding of A3 into S3
- embedding of integers into rational numbers
- example of a non-strong extremal monomorphism
- handle of the universal fork
- inclusion of positive numbers
- map from the empty set
- multiplication by 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.
—