scientific article; zbMATH DE number 7806485
From MaRDI portal
Publication:6197834
arXiv2208.00918MaRDI QIDQ6197834
Publication date: 19 February 2024
Full work available at URL: https://arxiv.org/abs/2208.00918
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
directed pathcombinatorial model categoryaccessible categorydirected homotopyprecubical setmixed model structure
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spaces of directed paths on pre-cubical sets
- Mixing model structures
- On combinatorial model categories
- Reparametrizations of continuous paths
- Reparametrizations with given stop data
- Trace spaces in a pre-cubical complex
- On the algebra of cubes
- A model category for the homotopy theory of concurrency
- On the construction of functorial factorizations for model categories
- Enriched diagrams of topological spaces over locally contractible enriched categories
- Spaces of directed paths on pre-cubical sets II
- Injective and projective model structures on enriched diagram categories
- Accessible model categories
- 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
- Convenient categories of topological spaces for homotopy theory
- Directed Homotopy in Non-Positively Curved Spaces
- Homotopy theory of Moore flows (II)
- Homotopical interpretation of globular complex by multipointed d-space
- Left-determined model categories and universal homotopy theories
- Left properness of flows
- Configuration spaces and directed paths on the final precubical set
- Six model categories for directed homotopy
- Homotopy theory of Moore flows (I)
- Lifting accessible model structures
- Strictifying and taming directed paths in Higher Dimensional Automata
- A necessary and sufficient condition for induced model structures
- A convenient category for directed homotopy
- Comparing cubical and globular directed paths
This page was built for publication:
