Induced model structures for higher categories
DOI10.1090/proc/15982OpenAlexW4210403522MaRDI QIDQ5869779
Martina Rovelli, Philip Hackney
Publication date: 29 September 2022
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.01104
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Comparing composites of left and right derived functors
- Mapping spaces in quasi-categories
- On an extension of the notion of Reedy category
- The cubical category with connections is a strict test category
- Truncated resolution model structures
- Note on a theorem of Bousfield and Friedlander
- Exponentiable morphisms, partial products and pullback complements
- Complicial sets, an overture
- Reedy categories and the \(\varTheta\)-construction
- Joyal's cylinder conjecture
- Categorical homotopy theory
- Categorical Homotopy Theory
- Intermediate Model Structures for Simplicial Presheaves
- A model for the homotopy theory of homotopy theory
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- Lifting accessible model structures
- A cubical approach to straightening
- A criterion for existence of right‐induced model structures
- A model structure on prederivators for $(\infty,1)$-categories
- Varieties of Cubical Sets
- A necessary and sufficient condition for induced model structures
- Higher Topos Theory (AM-170)
- Simplicial sets inside cubical sets
- Unifying Cubical Models of Univalent Type Theory
This page was built for publication: Induced model structures for higher categories
