scientific article; zbMATH DE number 7828993
From MaRDI portal
Publication:6125954
arXiv2209.02667MaRDI QIDQ6125954
Publication date: 9 April 2024
Full work available at URL: https://arxiv.org/abs/2209.02667
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
directed pathpseudometric spacedirected homotopyprecubical setLawvere metric spaceaccessible model categoryprojective model categorygeneralized reedy 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) Accessible and locally presentable categories (18C35)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The \(D\)-topology for diffeological spaces
- On an extension of the notion of Reedy category
- Mixing model structures
- On combinatorial model categories
- Combinatorics of labelling in higher-dimensional automata
- 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
- 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
- (Co)end Calculus
- Sheafifiable homotopy model categories
- Left properness of flows
- Six model categories for directed homotopy
- Homotopy theory of Moore flows (I)
- A necessary and sufficient condition for induced model structures
- Combinatorics of past-similarity in higher dimensional transition systems
- A convenient category for directed homotopy
This page was built for publication:
