Invariants of directed spaces
DOI10.1007/S10485-007-9085-4zbMATH Open1134.55009OpenAlexW2131557920MaRDI QIDQ2463399FDOQ2463399
Authors: 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
Recommendations
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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy groups, general; sets of homotopy classes (55Q05) Homotopy theory (55P99)
Cites Work
- Transformation groups
- Components of the fundamental category
- Components of the fundamental category. II
- Algebraic topology and concurrency
- Dipaths and dihomotopies in a cubical complex
- Title not available (Why is that?)
- Title not available (Why is that?)
- PERSISTENCE BARCODES FOR SHAPES
- A model category for the homotopy theory of concurrency
- Title not available (Why is that?)
- Topology for Computing
- Reparametrizations of continuous paths
- On the algebra of cubes
- Colimit theorems for relative homotopy groups
- Modelling fundamental 2-categories for directed homotopy
- State spaces and dipaths up to dihomotopy
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the expressiveness of higher dimensional automata (extended abstract)
Cited In (36)
- Spaces of directed paths on pre-cubical sets II
- Title not available (Why is that?)
- Equivalence of the categories of precubical sets and transitional Chu-spaces with preservation of the openness of the morphisms
- A cubical model for path spaces in d-simplicial complexes
- Topological abstraction of higher-dimensional automata
- A semi-abelian approach to directed homology
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- Some collapsing operations for 2-dimensional precubical sets
- The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
- Inessential directed maps and directed homotopy equivalences
- Title not available (Why is that?)
- Models and van Kampen theorems for directed homotopy theory
- Trace spaces of directed tori with rectangular holes
- Execution spaces for simple higher dimensional automata
- Context for models of concurrency
- Some geometric perspectives in concurrency theory
- Comparing topological models for concurrency
- Criteria for homotopic maps to be so along monotone homotopies
- Components of the fundamental category. II
- Directed GF-spaces
- Algebraic topology and concurrency
- Comparing equivalences on precubical sets and spaces
- Natural Homology
- Directed algebraic topology, categories and higher categories
- Projective limit and colimit of directed spaces
- Cubical approximation for directed topology. I
- Relative directed homotopy theory of partially ordered spaces
- The directed homotopy hypothesis
- Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
- Inequilogical spaces, directed homology and noncommutative geometry
- Title not available (Why is that?)
- Saturating directed spaces
- Pair component categories for directed spaces
- Stable components of directed spaces
- On the hierarchy of d-structures
This page was built for publication: Invariants of directed spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463399)
