Abstract
We show that the space of directed paths on the \(k\)-skeleton of the \(n\)-cube is homotopy equivalent to the nerve of a certain category of flags of finite sets.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Dijkstra, E.W.: Co-operating sequential processes. In: Genuys, F. (ed.) Programming Languages. Academic Press, New York (1968)
Fajstrup, L., Raussen, M., Goubault, E.: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1–3), 241–278 (2006)
Grandis, M.: Directed algebraic topology, models of non-reversible worlds. Cambridge University Press, Cambridge (2009)
Raussen, M.: Simplicial models of trace spaces. Algebra Geom. Topol. 10, 1683–1714 (2010)
Raussen, M.: Execution spaces for simple higher dimensional automata. Appl. Algebra Eng. Comm. Comput. 23, 59–84 (2012)
Raussen, M.: Simplicial models for trace spaces II: general higher dimensional automata. Algebra Geom. Topol. 12, 1745–1765 (2012)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ottosen, I. The trace space of the \(k\)-skeleton of the \(n\)-cube. AAECC 26, 141–149 (2015). https://doi.org/10.1007/s00200-014-0239-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-014-0239-y