On truncated quasi-categories

MaRDI QIDQ5116337zbMATH OpenFDO

Authors Alexander Campbell, Edoardo Lanari

Publication date 24 August 2020

Full work available at URL https://arxiv.org/abs/1810.11188, http://cahierstgdc.com/wp-content/uploads/2020/04/CAMPBELL_LANARI-LXI-2.pdf

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)

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.

Recommendations

• A Survey of (∞, 1)-Categories
• Quillen adjunctions induce adjunctions of quasicategories
• Comparison of models for ( , 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

Cited in

(6)

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

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)