Definition 5 [03R3]
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 5
A non-unital -category over is given by the following data:
1) A class of objects .
2) For any two objects and a -graded -module of morphisms .
3) For any sequence of objects , , a morphism of -modules (called a composition map) .
It is required that for any sequence of objects , the graded -module , equipped with the direct sum of the compositions , is a non-unital -algebra.