A Quillen adjunction between globular and complicial approaches to (, n)-categories

DOI10.1016/J.AIM.2023.108980MaRDI QIDQ6046523zbMATH OpenFDO

Authors Viktoriya Ozornova, Martina Rovelli

Publication date 11 May 2023

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

\((\infty, n)\)-categories\(n\)-categoriescomplicial setscomplete Segal \(\Theta_n\)-spacescomplicial nervesuspension of \(n\)-categories

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) ((infty, n))-categories and ((infty,infty))-categories (18N65)

Abstract: We prove the compatibility between the suspension construction and the complicial nerve of $omega$-categories. As a motivating application, we produce a Quillen pair between the models of $(infty,n)$-categories given by Rezk's complete Segal $Thet{a}_n$-spaces and Verity's $n$-complicial sets.

Recommendations

• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• Comparison of models for ( , n)-categories. I
• Comparison of models for (∞,n)‐categories, II
• Fundamental pushouts of \(n\)-complicial sets
• Model structures for ( ,n)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces

Cites work

• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• scientific article; zbMATH DE number 5219546 (Why is no real title available?)
• A Cartesian presentation of weak \(n\)-categories
• A categorical characterization of strong Steiner \(\omega\)-categories
• A cellular nerve for higher categories
• Comparison of models for (∞,n)‐categories, II
• Comparison of models for \((\infty , n)\)-categories. I
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• Complicial sets, an overture
• Duality for simple \(\omega\)-categories and disks
• Elements of \(\infty\)-category theory
• Fundamental pushouts of \(n\)-complicial sets
• Higher Quasi-Categories vs Higher Rezk Spaces
• Join and slices for strict $\infty$-categories
• Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• Omega-categories and chain complexes
• On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
• On the unicity of the theory of higher categories
• Overcategories and undercategories of cofibrantly generated model categories
• Simple omega-categories and chain complexes
• The algebra of oriented simplexes
• The algebraic structure of the universal complicial sets
• Weak complicial sets. I: Basic homotopy theory

Cited in

(10)

• Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
• Comparison of models for (∞,n)‐categories, II
• An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• A Quillen's theorem A for strict \(\infty\)-categories. II: The \(\infty\)-categorical proof
• Fundamental pushouts of \(n\)-complicial sets
• Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
• Models for $(\infty, n)$-categories and the cobordism hypothesis
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof

This page was built for publication: A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories

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