Invariants of directed spaces

DOI10.1007/s10485-007-9085-4zbMath1134.55009OpenAlexW2131557920MaRDI QIDQ2463399

Martin Raussen

Publication date: 6 December 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9085-4

zbMATH Keywords

preorder categoryd-spacecomponent categoryautomorphic homotopy flowdihomotopy equivalence

Mathematics Subject Classification ID

Homotopy groups, general; sets of homotopy classes (55Q05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topological categories, foundations of homotopy theory (55U40)

Related Items (13)

Topological abstraction of higher-dimensional automata ⋮ Natural Homology ⋮ A cubical model for path spaces in d-simplicial complexes ⋮ Stable components of directed spaces ⋮ On the hierarchy of d-structures ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ Trace spaces of directed tori with rectangular holes ⋮ Execution spaces for simple higher dimensional automata ⋮ Simplicial models of trace spaces ⋮ Spaces of directed paths on pre-cubical sets II ⋮ Pair component categories for directed spaces ⋮ Trace spaces in a pre-cubical complex ⋮ Inessential directed maps and directed homotopy equivalences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reparametrizations of continuous paths
• Transformation groups
• On the algebra of cubes
• Colimit theorems for relative homotopy groups
• State spaces and dipaths up to dihomotopy
• Components of the fundamental category
• A model category for the homotopy theory of concurrency
• Components of the fundamental category. II
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Modelling fundamental 2-categories for directed homotopy
• Topology for Computing
• PERSISTENCE BARCODES FOR SHAPES

This page was built for publication: Invariants of directed spaces