Normal category
Definition
A normal category is a category enriched over the monoidal category of pointed sets satisfying the condition that every monomorphism is normal.
A normal category is a category enriched over the monoidal category of pointed sets satisfying the condition that every monomorphism is normal.