Regular monomorphism
= Regular monomorphism
A regular monomorphism is a morphism that occurs as the <equalizer> of some parallel pair. Every regular monomorphism is a <strong monomorphism>.
This is the equalizer-defined subclass of <monomorphisms>.