Pair component categories for directed spaces

DOI10.1007/s41468-019-00045-8zbMath1455.18002arXiv1812.09507OpenAlexW2991267352WikidataQ126767142 ScholiaQ126767142MaRDI QIDQ2304019

Martin Raussen

Publication date: 6 March 2020

Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.09507

zbMATH Keywords

localizationcubical complexd-spacecomponent categoryhomotopy flow

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Preorders, orders, domains and lattices (viewed as categories) (18B35) Topological categories, foundations of homotopy theory (55U40)

Related Items

Left properness of flows, Inessential directed maps and directed homotopy equivalences

Cites Work

• Simplicial models for trace spaces. II: General higher dimensional automata
• Reparametrizations of continuous paths
• Erratum to ``On the expressiveness of higher dimensional automata
• Invitation to topological robotics
• Trace spaces in a pre-cubical complex
• Components of the fundamental category
• Time-reversal homotopical properties of concurrent systems
• Directed topological complexity
• Stable components of directed spaces
• Components of the fundamental category. II
• Invariants of directed spaces
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Rings with several objects
• Natural Homology
• Inessential directed maps and directed homotopy equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item