Editing Normal morphism (section)

==Examples==
In the [[category of groups]], a monomorphism ''f'' from ''H'' to ''G'' is normal [[if and only if]] its image is a [[normal subgroup]] of ''G''. In particular, if ''H'' is a [[subgroup]] of ''G'', then the [[inclusion map]] ''i'' from ''H'' to ''G'' is a monomorphism, and will be normal if and only if ''H'' is a normal subgroup of ''G''. In fact, this is the origin of the term "normal" for monomorphisms.{{Citation needed|date=January 2010}}

On the other hand, every epimorphism in the category of groups is conormal (since it is the cokernel of its own kernel), so this category is conormal.

In an [[abelian category]], every monomorphism is the kernel of its cokernel, and every epimorphism is the cokernel of its kernel.
Thus, abelian categories are always binormal.
The category of [[abelian group]]s is the fundamental example of an abelian category, and accordingly every subgroup of an abelian group is a normal subgroup.