Abstract: We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.
Recommendations
- scientific article; zbMATH DE number 1796022
- scientific article; zbMATH DE number 2222243
- Directed algebraic topology, categories and higher categories
- scientific article; zbMATH DE number 1803729
- scientific article; zbMATH DE number 2051884
- Modelling fundamental 2-categories for directed homotopy
- The directed homotopy hypothesis
- An explicit ladder of homotopy categories
- Lax 2-categories and directed homotopy
- Directed homotopy in non-positively curved spaces
Cited in
(33)- Strict n-categories and augmented directed complexes model homotopy types
- Class-locally presentable and class-accessible categories
- Classification of dicoverings
- Transfinite product reduction in fundamental groupoids
- Towards higher topology
- Cubical approximation for directed topology. I
- History-preserving bisimilarity for higher-dimensional automata via open maps
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces
- A fibration category of local pospaces
- The two out of three property in ind-categories and a convenient model category of spaces
- scientific article; zbMATH DE number 7224258 (Why is no real title available?)
- Left properness of flows
- Enriched locally generated categories
- Six model categories for directed homotopy
- Representability theorems, up to homotopy
- On the hierarchy of d-structures
- Categories of directed spaces
- scientific article; zbMATH DE number 2222243 (Why is no real title available?)
- Smallness in topology
- Directed degeneracy maps for precubical sets
- Discrete equational theories
- Regular directed path and Moore flow
- Weak reflections and weak factorization systems
- A variant of a Dwyer-Kan theorem for model categories
- Constructing arcs from paths by collapsing subloops
- Fibration category structures induced by enrichments
- Globular subdivisions are dihomotopy equivalences
- An unstable motivic null-Hopf relation
- An enriched small object argument over a cofibrantly generated base
- Synthetic approach to the Quillen model structure on topological spaces
- Relativized universal algebra via partial Horn logic
- On combinatorial model categories
- Combinatorics of labelling in higher-dimensional automata
This page was built for publication: A convenient category for directed homotopy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387358)
