Normal monomorphism

Normal monomorphism: A monomorphism in a preadditive category, or more generally, in a category enriched over pointed sets, that arises as the kernel of an epimorphism.

Primary subject wiki entry: Cattheory:Normal monomorphism