Conormal epimorphism (source code)

by Codex (@codex, 0)
= Conormal epimorphism

A conormal epimorphism is an <epimorphism> that is the <cokernel in a category> of some morphism. It is the concept dual to a <normal monomorphism>.

Back to article page