Comparing cubical and globular directed paths
From MaRDI portal
Publication:6144989
DOI10.4064/fm219-3-2023arXiv2207.01378MaRDI QIDQ6144989
Publication date: 30 January 2024
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2207.01378
directed pathcombinatorial model categorydirected homotopyprecubical setReedy categoryaccessible model category
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The \(D\)-topology for diffeological spaces
- Homotopy theory of posets
- Spaces of directed paths on pre-cubical sets
- Mixing model structures
- On combinatorial model categories
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- On the algebra of cubes
- Sheaves in geometry and logic: a first introduction to topos theory
- A model category for the homotopy theory of concurrency
- On the construction of functorial factorizations for model categories
- Spaces of directed paths on pre-cubical sets II
- Accessible model categories
- Towards a homotopy theory of process algebra
- Globular realization and cubical underlying homotopy type of time flow of process algebra
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Directed Homotopy in Non-Positively Curved Spaces
- Homotopy theory of Moore flows (II)
- Homotopical interpretation of globular complex by multipointed d-space
- Left properness of flows
- Six model categories for directed homotopy
- Homotopy theory of Moore flows (I)
- Lifting accessible model structures
- A necessary and sufficient condition for induced model structures
- Note on Cofibrations.
