A convenient category for directed homotopy

zbMath1157.18003arXiv0708.3937MaRDI QIDQ5387358

Jiří Rosický, Lisbeth Fajstrup

Publication date: 9 May 2008

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

zbMATH Keywords

dicoveringdirected homotopylocally presentable categoriessimplex-generated spaces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Accessible and locally presentable categories (18C35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (19)

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ On combinatorial model categories ⋮ Unnamed Item ⋮ Six model categories for directed homotopy ⋮ Left properness of flows ⋮ Class-locally presentable and class-accessible categories ⋮ Smallness in topology ⋮ Discrete equational theories ⋮ Weak reflections and weak factorization systems ⋮ The \(\mathbb{R}\)-local homotopy theory of smooth spaces ⋮ Classification of dicoverings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Enriched Locally Generated Categories ⋮ On the hierarchy of d-structures ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Transfinite product reduction in fundamental groupoids ⋮ Representability theorems, up to homotopy ⋮ The two out of three property in ind-categories and a convenient model category of spaces

This page was built for publication: A convenient category for directed homotopy