Implication Details
Claim: If a morphism is a split epimorphism, then it is a regular epimorphism.
Proof: This follows from the dual implication.
Show 12 morphisms using this implication
- Baer-Specker relations
- embedding of A3 into S3
- embedding of integer into rational numbers
- handle of the universal fork
- identity map of a group
- identity map of a set
- map from the empty set
- map into the singleton set
- multiplication with 2
- presentation of the walking idempotent
- universal morphism
- universal split epimorphism