Some collapsing operations for 2-dimensional precubical sets

DOI10.1007/s40062-012-0010-7zbMath1258.55005arXiv1005.5443OpenAlexW2109726919MaRDI 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 theorytrace spaces\(d\)-spacesdirected homotopy theoryfundamental bipartite graphfundamental categoryprecubical sets

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Applied homological algebra and category theory in algebraic topology (55U99)

Related Items (2)

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

This page was built for publication: Some collapsing operations for 2-dimensional precubical sets