Directed Homotopy in Non-Positively Curved Spaces
From MaRDI portal
Publication:3300792
zbMath1496.68225arXiv1908.06684MaRDI QIDQ3300792
Publication date: 30 July 2020
Full work available at URL: https://arxiv.org/abs/1908.06684
CAT(0) spacegeneralized metric spacecube axiomprecubical setfundamental categorymodels for concurrencynon-positively curved space
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
A Hurewicz Model Structure for Directed Topology, Comparing cubical and globular directed paths, The uniform homotopy category, Unnamed Item, Unnamed Item, Directed topological complexity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Geodesics in CAT(0) cubical complexes
- Models for concurrency: Towards a classification
- Median graphs, parallelism and posets
- The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
- Variation through enrichment
- Concurrent transition systems
- Coherence for compact closed categories
- Petri nets, event structures and domains. I
- Sur les groupes hyperboliques d'après Mikhael Gromov. (On the hyperbolic groups à la M. Gromov)
- Towards an algebraic theory of Boolean circuits.
- Über den Begriff der vollständigen differentialgeometrischen Fläche
- On completeness of word reversing
- Omega-categories and chain complexes
- A homotopy 2-groupoid of a Hausdorff space
- Graphs of some CAT(0) complexes
- Foundations of Garside theory
- The geometry and topology of reconfiguration
- Termination orders for three-dimensional rewriting
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Dipaths and dihomotopies in a cubical complex
- Criteria for Homotopic Maps to be So Along Monotone Homotopies
- The structure of first-order causality
- Nice Labeling Problem for Event Structures: A Counterexample
- Bitopological Spaces
- Free compact 2-categories
- On embedding categories in groupoids
- Nonpositive Curvature and Pareto Optimal Coordination of Robots
- Metric spaces, generalized logic, and closed categories
- On Quasi-Metric Spaces
- Geometry and concurrency: a user's guide
- A kleene theorem for recognizable languages over concurrency monoids
- Non-Hausdorff Topology and Domain Theory
- Formal Relationships Between Geometrical and Classical Models for Concurrency
- Presenting a Category Modulo a Rewriting System
- Towards 3-Dimensional Rewriting Theory
- On the topological product of paracompact spaces
- A homotopy bigroupoid of a topological space
