Conormal category
Definition
A conormal category is a category enriched over the monoidal category of pointed sets in which every epimorphism is normal.
A conormal category is a category enriched over the monoidal category of pointed sets in which every epimorphism is normal.