Normal monomorphism
= Normal monomorphism
A normal monomorphism is a <monomorphism> that is the <kernel in a category> of some morphism. In a pointed category with kernels and cokernels, a monomorphism is normal exactly when it is the kernel of its own cokernel.