A convenient category for directed homotopy

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.

References in corpus (1)

• Sheafifiable homotopy model categories

Cited by in corpus (19)

• Locally class-presentable and class-accessible categories
• Combinatorics of labelling in higher dimensional automata
• Homotopical interpretation of globular complex by multipointed d-space
• Generalized covering space theories
• Six model categories for directed homotopy
• Homotopy equivalence of isospectral graphs
• Transfinite product reduction in fundamental groupoids
• Proper Orbifold Cohomology
• Enriched Locally Generated Categories
• On the Cofibrant Generation of Model Categories
• The two out of three property in ind-categories and a convenient model category of spaces
• Small presentations of model categories and Vopěnka's principle
• Constructing arcs from paths using Zorn's Lemma
• Homotopy theory of Moore flows (III)
• A stratified Kan-Quillen equivalence
• The localization of orthogonal calculus with respect to homology
• Infinitary commutativity and fundamental groups of topological monoids
• A variant of a Dwyer-Kan theorem for model categories
• Taxotopy Theory of Posets I: van Kampen Theorems