4.4 Example: directed A ∞ -pre-categories [03RI]
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
4.4 Example: directed -pre-categories
There is a useful special case of the notion of -pre-category (independently a similar notion was suggested in [Se]).
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 .
The extension property is equivalent to the following one: for any object there are exist objects and which are quasi-isomorphic to . Then one can formulate the following version of the previous conjecture.
Conjecture 5
Equivalence classes of directed -pre-categories are in one-to-one correspondence with the equivalences classes of -categories with strict identity morphisms and countable class of objects.
Having an -category with strict identity morphisms, and countable class of objects, one can construct an infinite sequence of objects such that each objects appears infinitely many times for positive and negative . Then a directed -pre-category is defined by setting for . All other are not defined.