Left properness of flows
From MaRDI portal
Publication:4994669
zbMath1481.18027arXiv1907.01454MaRDI QIDQ4994669
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1907.01454
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40)
Related Items
Comparing cubical and globular directed paths ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Homotopy theory of Moore flows (II)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classifying spaces for 1-truncated compact Lie groups
- Algebraic models for higher categories
- Mixing model structures
- On combinatorial model categories
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
- T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
- \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
- A convenient category of locally preordered spaces
- Concrete categories and infinitary languages
- Model category structures in bifibred categories
- Components of the fundamental category
- Topological hypercovers and \(\mathbb{A}^1\)-realizations
- A model category for the homotopy theory of concurrency
- Strong cofibrations and fibrations in enriched categories
- On the construction of functorial factorizations for model categories
- Enriched diagrams of topological spaces over locally contractible enriched categories
- Pair component categories for directed spaces
- Towards a homotopy theory of process algebra
- Components of the fundamental category. II
- 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
- The homotopy category is a homotopy category
- Comparing globular complex and flow
- Homotopical interpretation of globular complex by multipointed d-space
- On fibrant objects in model categories
- Flows revisited: the model category structure and its left determinedness
- A convenient category for directed homotopy
