Pages that link to "Item:Q5387358"
From MaRDI portal
The following pages link to A convenient category for directed homotopy (Q5387358):
Displaying 25 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Weak reflections and weak factorization systems (Q633788) (← links)
- On combinatorial model categories (Q839591) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Strict \(n\)-categories and augmented directed complexes model homotopy types (Q1647391) (← links)
- Class-locally presentable and class-accessible categories (Q1934963) (← links)
- Classification of dicoverings (Q1957141) (← links)
- Transfinite product reduction in fundamental groupoids (Q2024088) (← links)
- Towards higher topology (Q2229960) (← links)
- Cubical approximation for directed topology. I (Q2350094) (← links)
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces (Q2694513) (← links)
- A fibration category of local pospaces (Q2810961) (← links)
- The two out of three property in ind-categories and a convenient model category of spaces (Q2981749) (← links)
- (Q3299464) (← links)
- Left properness of flows (Q4994669) (← links)
- Enriched Locally Generated Categories (Q5068844) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
- Representability theorems, up to homotopy (Q5212440) (← links)
- Categories of directed spaces (Q5388243) (← links)
- The shape of a category up to directed homotopy (Q5701015) (← links)
- Discrete equational theories (Q6149967) (← links)
- A variant of a Dwyer-Kan theorem for model categories (Q6596253) (← links)
- Constructing arcs from paths by collapsing subloops (Q6635523) (← links)
- Fibration category structures induced by enrichments (Q6645120) (← links)
