Definition 10 [03RB]
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 10
An -pre-category is a non-unital -pre-category , satisfying the following extension property:
For any finite collection of transversal sequences in and an object there exist objects and and quasi-isomorphisms , such that extended sequences are transversal.