Normal morphism

In category theory and its applications to mathematics, a normal monomorphism or normal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which morphisms are normal, whenever reasonable.

Definition

A category C must have zero morphisms for the concept of normality to make complete sense. In that case, we say that a monomorphism is normal if it is the kernel of some morphism, and an epimorphism is normal (or conormal) if it is the cokernel of some morphism.

C itself is normal if every monomorphism is normal. C is conormal if every epimorphism is normal. Finally, C is binormal if it's both normal and conormal. But note that some authors will use only the world "normal" to indicate that C is actually binormal.

An example

In an Abelian category, every monomorphism is the kernel of its own cokernel, and every epimorphism is the cokernel of its own kernel. Thus, abelian categories are always binormal.