Directed homotopy in non-positively curved spaces

zbMATH Open1496.68225arXiv1908.06684MaRDI QIDQ3300792FDOQ3300792

Authors: Éric Goubault, Samuel Mimram 

Publication date: 30 July 2020

Abstract: A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the particular case of programs using only mutexes, which are the most widely used synchronization primitive. We show that in this case, the resulting programs have non-positive curvature, a notion that we introduce and study here for precubical sets, and can be thought of as an algebraic analogue of the well-known one for metric spaces. Using this it, as well as categorical rewriting techniques, we are then able to show that directed and non-directed homotopy coincide for directed paths in these precubical sets. Finally, we study the geometric realization of precubical sets in metric spaces, to show that our conditions on precubical sets actually coincide with those for metric spaces. Since the category of metric spaces is not cocomplete, we are lead to work with generalized metric spaces and study some of their properties.

Full work available at URL: https://arxiv.org/abs/1908.06684

Recommendations

• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Spaces of directed paths on pre-cubical sets
• Homology of spaces of directed paths on Euclidean cubical complexes
• Some collapsing operations for 2-dimensional precubical sets
• Some geometric perspectives in concurrency theory

zbMATH Keywords

CAT(0) spacegeneralized metric spacecube axiomprecubical setfundamental categorymodels for concurrencynon-positively curved space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Grammars and rewriting systems (68Q42) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Sur les groupes hyperboliques d'après Mikhael Gromov. (On the hyperbolic groups à la M. Gromov)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri nets, event structures and domains. I
• Graphs of some CAT(0) complexes
• Dipaths and dihomotopies in a cubical complex
• Directed algebraic topology. Models of non-reversible worlds
• Geometry and concurrency: a user's guide
• Formal relationships between geometrical and classical models for concurrency
• Foundations of Garside theory
• Bitopological Spaces
• Metric spaces, generalized logic, and closed categories
• Variation through enrichment
• Free compact 2-categories
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Coherence for compact closed categories
• On Quasi-Metric Spaces
• Omega-categories and chain complexes
• Über den Begriff der vollständigen differentialgeometrischen Fläche
• Title not available (Why is that?)
• Nonpositive Curvature and Pareto Optimal Coordination of Robots
• On the topological product of paracompact spaces
• Geodesics in CAT(0) cubical complexes
• The geometry and topology of reconfiguration
• Termination orders for three-dimensional rewriting
• Nice labeling problem for event structures: a counterexample
• On embedding categories in groupoids
• Median graphs, parallelism and posets
• Towards an algebraic theory of Boolean circuits.
• A homotopy bigroupoid of a topological space
• A homotopy 2-groupoid of a Hausdorff space
• Models for concurrency: Towards a classification
• Concurrent transition systems
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• A kleene theorem for recognizable languages over concurrency monoids
• Title not available (Why is that?)
• On completeness of word reversing
• Title not available (Why is that?)
• The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
• Directed homology
• Presenting a Category Modulo a Rewriting System
• Towards 3-dimensional rewriting theory
• Title not available (Why is that?)
• Criteria for homotopic maps to be so along monotone homotopies
• The structure of first-order causality

Cited In (9)

• A convenient category for directed homotopy
• Comparing cubical and globular directed paths
• Directed topological complexity
• Directed degeneracy maps for precubical sets
• Title not available (Why is that?)
• The uniform homotopy category
• Directed GF-spaces
• A Hurewicz model structure for directed topology
• Regular directed path and Moore flow

This page was built for publication: Directed homotopy in non-positively curved spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3300792)