Definition 15 [03RJ]
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 15
A directed -pre-category is an -pre-category such that
a) There is bijection of the class of objects and the set integer numbers: . We denote by the object corresponding to .
b) Transversal sequences are .