Some collapsing operations for 2-dimensional precubical sets

DOI10.1007/s40062-012-0010-7zbMath1258.55005arXiv1005.5443MaRDI QIDQ691262

Thomas Kahl

Publication date: 30 November 2012

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

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

zbMATH Keywords

concurrency theory; trace spaces; \(d\)-spaces; directed homotopy theory; fundamental bipartite graph; fundamental category; precubical sets

Mathematics Subject Classification ID

55P10: Homotopy equivalences in algebraic topology

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

55P99: Homotopy theory

55U99: Applied homological algebra and category theory in algebraic topology

Related Items

Topological abstraction of higher-dimensional automata, Computing path categories of finite directed cubical complexes

Cites Work

• Unnamed Item
• Reparametrizations of continuous paths
• Models and van Kampen theorems for directed homotopy theory
• Trace spaces in a pre-cubical complex
• Topological deformation of higher dimensional automata
• Some geometric perspectives in concurrency theory
• Components of the fundamental category
• Components of the fundamental category. II
• Invariants of directed spaces
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex