Regular epimorphism (source code)

= Regular epimorphism

A regular epimorphism is a morphism that is the <coequalizer> of some parallel pair. Every regular epimorphism is a <strong epimorphism>.