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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A criterion for existence of right‐induced model structures
- A cubical approach to straightening
- A model for the homotopy theory of homotopy theory
- A model structure on prederivators for $(\infty,1)$-categories
- A necessary and sufficient condition for induced model structures
- Categorical homotopy theory
- Categorical homotopy theory
- Comparing composites of left and right derived functors
- Complicial sets, an overture
- Cubical type theory: a constructive interpretation of the univalence axiom
- Exponentiable morphisms, partial products and pullback complements
- Higher Topos Theory (AM-170)
- Intermediate Model Structures for Simplicial Presheaves
- Joyal's cylinder conjecture
- Lifting accessible model structures
- Mapping spaces in quasi-categories
- Note on a theorem of Bousfield and Friedlander
- On an extension of the notion of Reedy category
- Presheaves as models for homotopy types
- Reedy categories and the \(\varTheta\)-construction
- Simplicial sets inside cubical sets
- The cubical category with connections is a strict test category
- Truncated resolution model structures
- Unifying Cubical Models of Univalent Type Theory
- Varieties of cubical sets
Cited In (2)
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)
