Normal category

From Cattheory
Revision as of 06:34, 26 December 2008 by Vipul (talk | contribs) (New page: ==Definition== A '''normal category''' is a category enriched over the monoidal category of pointed sets satisfying the condition that every monomorphism...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

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