Trace spaces in a pre-cubical complex

DOI10.1016/j.topol.2009.02.003zbMath1165.55006MaRDI QIDQ1019149

Martin Raussen

Publication date: 28 May 2009

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/ws/files/15013329/R-2008-11.pdf

zbMATH Keywords

trace; homotopy type; locally compact; higher-dimensional automata; locally contractible; pre-cubical complex

Mathematics Subject Classification ID

55P10: Homotopy equivalences in algebraic topology

54D30: Compactness

54E35: Metric spaces, metrizability

54F65: Topological characterizations of particular spaces

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

55P99: Homotopy theory

54D65: Separability of topological spaces

Related Items

A cubical model for path spaces in d-simplicial complexes, Simplicial models for trace spaces. II: General higher dimensional automata, Some collapsing operations for 2-dimensional precubical sets, Execution spaces for simple higher dimensional automata, Simplicial models of trace spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reparametrizations of continuous paths
• Reparametrizations with given stop data
• On the algebra of cubes
• Colimit theorems for relative homotopy groups
• The geometry of cube complexes and the complexity of their fundamental groups
• Components of the fundamental category
• A comparison of continuously controlled and controlled \(K\)-theory
• Components of the fundamental category. II
• Invariants of directed spaces
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• On Spaces Having the Homotopy Type of a CW-Complex
• A Vietoris Mapping Theorem for Homotopy
• A New Proof that Metric Spaces are Paracompact
• Δ-SETS I: HOMOTOPY THEORY
• Paracompactness and product spaces