Normal category

Normal category: A preadditive category, or more generally a category enriched over pointed sets, in which every monomorphism is a normal monomorphism.

Primary subject wiki entry: Cattheory:Normal category