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
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