Normal category

From Ref
Jump to: navigation, search

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