Stable Components of Directed Spaces
- 20 Downloads
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.
KeywordsD-space Stable component system Enriched category Trace category
Mathematics Subject Classification18B35 18D20 55U40
- 1.Dubut, J.: Directed Homotopy and Homology Theories for Geometric Models of True Concurrency, Ph.D. thesis, Université Paris-Saclay (2017)Google Scholar
- 10.Kelly, G. M.: Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series 64 (1982)Google Scholar
Open AccessThis 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.