Remark 9 [03R6]
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
Remark 9
Let be a non-unital -category. Let us replace spaces of morphisms by their cohomology with respect to . In other words, we define , where is the composition map. Then gives rise to a βnon-unitalβ category structure with the class of objects and composition of morphisms induced by . We write βnon-unitalβ because there are no identity morphisms .