On truncated quasi-categories

zbMATH Open1452.18025arXiv1810.11188MaRDI QIDQ5116337FDOQ5116337

Authors: Alexander Campbell, Edoardo Lanari 

Publication date: 24 August 2020

Abstract: For each $ngeq-1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we prove can be constructed as the Bousfield localisation of Joyal's model structure for quasi-categories with respect to the boundary inclusion of the $(n+2)$-simplex. Furthermore, we prove the expected Quillen equivalences between categories and $1$-truncated quasi-categories and between $n$-truncated quasi-categories and Rezk's $(n,1)$-$Theta$-spaces.

Full work available at URL: https://arxiv.org/abs/1810.11188

Recommendations

• A Survey of (∞, 1)-Categories
• Quillen adjunctions induce adjunctions of quasicategories
• Comparison of models for \((\infty , n)\)-categories. I
• Higher Quasi-Categories vs Higher Rezk Spaces
• Homotopy coherent adjunctions and the formal theory of monads
• Models for $(\infty, n)$-categories and the cobordism hypothesis
• The 2-category theory of quasi-categories
• On the homotopy theory of enriched categories
• A model category structure on the category of simplicial categories
• Local complete Segal spaces

zbMATH Keywords

complete Segal spaceQuillen model categoryhomotopy \(n\)-typequasi-categoryBousfield localisationtruncated quasi-category

Mathematics Subject Classification ID

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) Localizations (e.g., simplicial localization, Bousfield localization) (18N55)

Cited In (6)

• Univalent categories of modules
• Truncated resolution model structures
• On quasivarieties and varieties as categories
• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
• A homotopy coherent cellular nerve for bicategories
• A horn-like characterization of the fibrant objects in the minimal model structure on simplicial sets

This page was built for publication: On truncated quasi-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5116337)