Invariants of directed spaces
From MaRDI portal
Publication:2463399
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 2086216 (Why is no real title available?)
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- scientific article; zbMATH DE number 5002267 (Why is no real title available?)
- scientific article; zbMATH DE number 1375542 (Why is no real title available?)
- scientific article; zbMATH DE number 194040 (Why is no real title available?)
- scientific article; zbMATH DE number 3502307 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 2222243 (Why is no real title available?)
- A model category for the homotopy theory of concurrency
- Algebraic topology and concurrency
- Colimit theorems for relative homotopy groups
- Components of the fundamental category
- Components of the fundamental category. II
- Dipaths and dihomotopies in a cubical complex
- Modelling fundamental 2-categories for directed homotopy
- On the algebra of cubes
- On the expressiveness of higher dimensional automata (extended abstract)
- PERSISTENCE BARCODES FOR SHAPES
- Reparametrizations of continuous paths
- State spaces and dipaths up to dihomotopy
- Topology for Computing
- Transformation groups
Cited in
(36)- Spaces of directed paths on pre-cubical sets II
- scientific article; zbMATH DE number 2051884 (Why is no real title available?)
- 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
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- A semi-abelian approach to directed homology
- 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
- Models and van Kampen theorems for directed homotopy theory
- scientific article; zbMATH DE number 2218901 (Why is no real title available?)
- Execution spaces for simple higher dimensional automata
- Trace spaces of directed tori with rectangular holes
- Some geometric perspectives in concurrency theory
- Context for models of concurrency
- Comparing topological models for concurrency
- Criteria for homotopic maps to be so along monotone homotopies
- Components of the fundamental category. II
- Algebraic topology and concurrency
- Directed GF-spaces
- 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
- scientific article; zbMATH DE number 1803729 (Why is no real title available?)
- 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)
