Definition 14 [03RG]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Definition 14
An -category with strict identity morphisms is a non-unital -category , such that for any object there exists an element (identity morphism) such that and for any morphisms .