Pages that link to "Item:Q1850079"
From MaRDI portal
The following pages link to Théories homotopiques dans les topos. (Homotopy theories in topoi) (Q1850079):
Displaying 18 items.
- Left determined model structures for locally presentable categories (Q409249) (← links)
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Symmetric cubical sets (Q531321) (← links)
- Homotopical algebraic geometry. I: Topos theory (Q555892) (← links)
- On combinatorial model categories (Q839591) (← links)
- A model structure à la Thomason on 2-Cat (Q856345) (← links)
- Strong homotopy theory of cyclic sets (Q1892303) (← links)
- Categories with homotopy determine a closed model structure (Q2654109) (← links)
- Combinatorial and accessible weak model categories (Q2674539) (← links)
- (Q2762219) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- On fibrant objects in model categories (Q4563227) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- Remarks on combinatorial and accessible model categories (Q5854453) (← links)
- Sheafifiable homotopy model categories. II (Q5954115) (← links)
