Computing path categories of finite directed cubical complexes. (English) Zbl 1327.18027
The author is interested in the framework of directed cubical complexes in concurrency theory. When considering paths through such a complex, one would like to model regions through which paths are not allowed. One approach is via the path category construction, yet understanding homotopies of such restricted paths can be computationally problematic. In this paper, conditions are given under which one can reduce to a simpler subcomplex whose path category is included fully faithfully into the path category of the original complex. In the final two sections of the paper, the author considers algorithms for implementing his results and describes software he has developed for this purpose.
Reviewer: Julie Bergner (Riverside)
MSC:
| 18G30 | Simplicial sets; simplicial objects in a category (MSC2010) |
| 03-04 | Software, source code, etc. for problems pertaining to mathematical logic and foundations |
| 55U10 | Simplicial sets and complexes in algebraic topology |
References:
| [1] | Fritsch, R., Latch, D.M.: Homotopy inverses for nerve. Math. Zeitschrift 177(2), 147-179 (1981) · Zbl 0456.55014 · doi:10.1007/BF01214196 |
| [2] | Jardine, J.F.: Categorical homotopy theory. Homol. Homotopy Appl. 8(1), 71-144 (2006) · Zbl 1087.18009 · doi:10.4310/HHA.2006.v8.n1.a3 |
| [3] | Jardine, J.F.: Path categories and resolutions. Homol. Homotopy Appl. 12(2), 231-244 (2010) · Zbl 1203.55010 · doi:10.4310/HHA.2010.v12.n2.a8 |
| [4] | Kahl, T.: Some collapsing operations for 2-dimensional precubical sets. J. Homotopy Relat. Struct. 7(2), 281-298 (2012) · Zbl 1258.55005 · doi:10.1007/s40062-012-0010-7 |
| [5] | Pratt, V.R.: Modeling concurrency with geometry. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 311-322 (1991). ISBN: 0-89791-419-8 · Zbl 0456.55014 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
