Regular-epimorphism-monomorphism factorization from kernel pairs
ID: regular-epimorphism-monomorphism-factorization-from-kernel-pairs
Suppose a category has pullbacks and coequalizers and every pullback of a regular epimorphism is epic. Coequalizing the kernel pair of any morphism produces a factorization as a regular epimorphism followed by a monomorphism. Consequently every strong epimorphism is regular.
New to topics? Read the docs here!