scientific article; zbMATH DE number 2051884
From MaRDI portal
Publication:4453908
Looking at space-time models (and also at concurrency systems or traffic networks), one needs paths which can not be reversed. The answer is given by directed algebraic topology. This paper presents directed spaces, directed homotopy and their fundamental category (replacing the fundamental groupoid of ordinary spaces). More details and constructions are in a following work [\textit{M. Grandis}, Directed homotopy theory. II: Homotopy constructs, Theory Appl. Categ. 10, 369--391, electronic only (2002; Zbl 1034.55006)].
Recommendations
Cites work
- ABSTRACT HOMOTOPY. II
- Bitopological Spaces
- Categorically algebraic foundations for homotopical algebra
- Cubical homotopical algebra and cochain algebras
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Geometry and concurrency: a user's guide
- Higher dimensional automata revisited
- Higher fundamental functors for simplicial sets
- Homotopical algebra
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- scientific article; zbMATH DE number 193912 (Why is no real title available?)
- scientific article; zbMATH DE number 3631581 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 825864 (Why is no real title available?)
- scientific article; zbMATH DE number 3225887 (Why is no real title available?)
- scientific article; zbMATH DE number 3264757 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Local compactness and Cartesian products of quotient maps and k-spaces
- Metric spaces, generalized logic, and closed categories
- On the algebra of cubes
- Simplicial homotopy theory
Cited in
(70)- Models and van Kampen theorems for directed homotopy theory
- Trace spaces in a pre-cubical complex
- A convenient category of locally preordered spaces
- Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency
- Components of the fundamental category
- Classification of dicoverings
- Exponentiable streams and prestreams
- Combinatorial conditions for directed collapsing
- Homology of spaces of directed paths on Euclidean cubical complexes
- Directed topological complexity of spheres
- Spaces of directed paths on pre-cubical sets II
- Pair component categories for directed spaces
- Cubical approximation for directed topology. I
- Relative directed homotopy theory of partially ordered spaces
- Homotopy path spaces for families of admissible paths
- Stable components of directed spaces
- Invariants of directed spaces
- Algebraic topology and concurrency
- Dipaths and dihomotopies in a cubical complex
- Modelling fundamental 2-categories for directed homotopy
- Context for models of concurrency
- A framework for component categories
- T-homotopy and refinement of observation. I: Introduction
- Comparing topological models for concurrency
- A fibration category of local pospaces
- Criteria for homotopic maps to be so along monotone homotopies
- Directed homology
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- Future path-components in directed topology
- Homotopy theory of Moore flows. II
- Quotient models of a category up to directed homotopy
- Lax 2-categories and directed homotopy
- Directed algebraic topology. Models of non-reversible worlds
- Covering space theory for directed topology
- A cubical model for path spaces in d-simplicial complexes
- Simplicial models for trace spaces. II: General higher dimensional automata
- Unique decomposition of homogeneous languages and application to isothetic regions
- The geometry of conservative programs
- Left properness of flows
- A Hurewicz model structure for directed topology
- Inessential directed maps and directed homotopy equivalences
- Bicategories for TQFTs with defects with structure
- Configuration spaces and directed paths on the final precubical set
- Six model categories for directed homotopy
- Stratified spaces, directed algebraic topology, and state-sum TQFTs
- Simplicial Models for Concurrency
- Streams, d-spaces and their fundamental categories
- On the hierarchy of d-structures
- Dijkgraaf-Witten type invariants of Seifert surfaces in 3-manifolds
- The directed homotopy hypothesis
- A convenient category for directed homotopy
- scientific article; zbMATH DE number 2218901 (Why is no real title available?)
- On execution spaces of PV-programs
- The topology of critical processes. I: Processes and models
- The homology digraph of a preordered space
- Non-existing and ill-behaved coequalizers of locally ordered spaces
- The topology of critical processes. III: Computing homotopy
- Directed path spaces via discrete vector fields
- Spaces of directed paths on pre-cubical sets
- Globular subdivisions are dihomotopy equivalences
- The directed Van Kampen theorem in Lean
- Cubical approximation for directed topology. II
- Directed topological complexity of poset-stratified spaces
- Fundamental category and face category of stellar complexes
- Deadlocks and dihomotopy in mutual exclusion models
- The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
- Finite relational structure models of topological spaces and maps
- Enriched categories and models for spaces of evolving states
- Combinatorics of labelling in higher-dimensional automata
- Simplicial models of trace spaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4453908)
