Trace spaces in a pre-cubical complex

DOI10.1016/j.topol.2009.02.003zbMath1165.55006OpenAlexW1976432420MaRDI 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

tracehomotopy typelocally compacthigher-dimensional automatalocally contractiblepre-cubical complex

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Compactness (54D30) Metric spaces, metrizability (54E35) Topological characterizations of particular spaces (54F65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Separability of topological spaces (54D65)

Related Items (21)

Future Path-components in Directed Topology ⋮ Configuration spaces and directed paths on the final precubical set ⋮ A cubical model for path spaces in d-simplicial complexes ⋮ Stable components of directed spaces ⋮ Comparing cubical and globular directed paths ⋮ Directed homology theories and Eilenberg-Steenrod axioms ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Spaces of directed paths on pre-cubical sets ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Execution spaces for simple higher dimensional automata ⋮ Simplicial models of trace spaces ⋮ On execution spaces of PV-programs ⋮ Directed topological complexity ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Pair component categories for directed spaces ⋮ Inessential directed maps and directed homotopy equivalences ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

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

This page was built for publication: Trace spaces in a pre-cubical complex