Abstract
In this paper, we introduce the notions of stable future, past and total component systems on a directed space with no loops. Then, we associate the stable component category to a stable (future, past or total) component system. Stable component categories are enriched in some monoidal category, eg. the homotopy category of spaces, and carry information about the spaces of directed paths between particular points. It is shown that the geometric realizations of finite pre-cubical sets with no loops admit unique minimal stable (future/past/total) component systems. These constructions provide a new family of invariants for directed spaces.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Dubut, J.: Directed Homotopy and Homology Theories for Geometric Models of True Concurrency, Ph.D. thesis, Université Paris-Saclay (2017)
Dubut, J., Goubault, E., Goubault-Larrecq, J.: Directed homology theories and Eilenberg–Steenrod axioms. Appl. Categ. Struct. 25, 775–807 (2017)
Fahrenberg, U., Raussen, M.: Reparametrizations of continuous paths. J. Homotopy Relat. Struct. 2, 93–117 (2007)
Fajstrup, L., Goubault, E., Haucourt, E., Raussen, M.: Components of the fundamental category. Appl. Categ. Struct. 12, 81–108 (2004)
Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed Algebraic Topology and Concurrency. Springer, Berlin (2016)
Fajstrup, L., Goubault, E., Raussen, M.: Algebraic topology and concurrency. Theor. Comput. Sci. 357, 241–278 (2006)
Goubault, E., Haucourt, E.: Components of the fundamental category II. Appl. Categ. Struct. 15, 387–414 (2007)
Goubault, E., Haucourt, E., Krishnan, S.: Future path-components in directed topology. Electron. Notes Theor. Comput. Sci. 265, 325–335 (2010)
Grandis, M.: Directed homotopy theory, I. The fundamental category. Cahiers Top. Geom. Diff. Categ. 44, 281–316 (2003)
Kelly, G. M.: Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series 64 (1982)
Nachbin, L.: Topology and Order. Van Nostrand, Princeton (1965)
Raussen, M.: Invariants of Directed Spaces. Appl. Categ. Stuct. 15, 355–386 (2007)
Raussen, M.: Trace spaces in a pre-cubical complex. Top. Appl. 156, 1718–1728 (2009). https://doi.org/10.1016/j.topol.2009.02.003
Raussen, M., Ziemiański, K.: Homology of spaces of directed paths on Euclidian cubical complexes. J. Homotopy Relat. Struct. 9, 67–84 (2014). https://doi.org/10.1007/s40062-013-0045-4
Weber, A., Ziemiański, K.: Directed suspensions and their loop spaces. Fund. Math. 240, 137–159 (2018). https://doi.org/10.4064/fm304-2-2017
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Rosicky.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ziemiański, K. Stable Components of Directed Spaces. Appl Categor Struct 27, 217–244 (2019). https://doi.org/10.1007/s10485-018-9551-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-018-9551-1