Flow does not model flows up to weak dihomotopy

DOI10.1007/s10485-005-8176-3zbMath1115.68103arXivmath/0404328OpenAlexW2047760435MaRDI QIDQ2432566

Philippe Gaucher

Publication date: 25 October 2006

Published in: Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

homotopyconcurrencycombinatorial model categorycofibrantly generated model categoryweak factorization systemdirected homotopylocally presentable model category

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items

On the expressiveness of higher dimensional automata ⋮ T-homotopy and Refinement of Observation (I): Introduction

Cites Work

• A model category for the homotopy theory of concurrency
• Homotopical algebra
• Homotopy limits, completions and localizations
• Comparing globular complex and flow
• Sheafifiable homotopy model categories
• Universal homotopy theories
• Combinatorial model categories have presentations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item