Induced model structures for higher categories
DOI10.1090/PROC/15982OpenAlexW4210403522MaRDI QIDQ5869779FDOQ5869779
Authors: Philip Hackney, Martina Rovelli 
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
Recommendations
- Weak model categories in classical and constructive mathematics
- Simplicial structures on model categories and functors
- Adding inverses to diagrams. II: Invertible homotopy theories are spaces
- Coalgebraic models for combinatorial model categories
- Quillen adjunctions induce adjunctions of quasicategories
- Quillen closed model structures for sheaves
- A handbook of model categories
- Closed model structures for algebraic models of \(n\)-types
- Homotopy Theories for Diagrams of Spaces
- A criterion for existence of right‐induced model structures
Simplicial sets and complexes in algebraic topology (55U10) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Higher Topos Theory (AM-170)
- Title not available (Why is that?)
- A model for the homotopy theory of homotopy theory
- On an extension of the notion of Reedy category
- Exponentiable morphisms, partial products and pullback complements
- Categorical homotopy theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mapping spaces in quasi-categories
- Reedy categories and the \(\varTheta\)-construction
- Intermediate Model Structures for Simplicial Presheaves
- Presheaves as models for homotopy types
- Categorical homotopy theory
- Title not available (Why is that?)
- A model structure on prederivators for $(\infty,1)$-categories
- Comparing composites of left and right derived functors
- The cubical category with connections is a strict test category
- Simplicial sets inside cubical sets
- Joyal's cylinder conjecture
- A necessary and sufficient condition for induced model structures
- Note on a theorem of Bousfield and Friedlander
- Truncated resolution model structures
- A cubical approach to straightening
- Complicial sets, an overture
- Title not available (Why is that?)
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- Varieties of Cubical Sets
- A criterion for existence of right‐induced model structures
- Lifting accessible model structures
- Unifying Cubical Models of Univalent Type Theory
Cited In (1)
Uses Software
This page was built for publication: Induced model structures for higher categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869779)
