Remark 10 [03RC]
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 10
Let be an -pre-category. Then partially defined on ) composition extends uniquely, so that it defines a structure of a category on .