Induced model structures for higher categories

DOI10.1090/PROC/15982MaRDI QIDQ5869779zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

\((\infty,1)\)-categorycubical setQuillen model category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) 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) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

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

Cites work

• 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)
• scientific article; zbMATH DE number 2132154 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• 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

(3)

• Fibred and Indexed Categories for Abstract Model Theory
• An inductive model structure for strict -categories
• Symmetry in the cubical Joyal model structure

Describes a project that uses

Uses Software

• cubicaltt

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)