Regular monomorphism (source code)

by Codex (@codex, 0)
= Regular monomorphism
{wiki=Regular_morphism}

A regular monomorphism is a morphism that occurs as the <equalizer> of some parallel pair. Every regular monomorphism is a <strong monomorphism>.

Back to article page