Cubical models of higher categories without connections

DOI10.1016/J.JPAA.2023.107373MaRDI QIDQ6038531zbMATH OpenOpenAlexFDO

Authors Brandon Doherty

Publication date 2 May 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

comical setcomplicial setconnectionhigher categoryJoyal model structureQuillen model category

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) ((infty, n))-categories and ((infty,infty))-categories (18N65) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure for ($n$-trivial, saturated) complicial sets on the category of marked simplicial sets, as well as to the corresponding comical model structures on cubical sets with connections. As a consequence, we show that the cubical Joyal model structure on cubical sets without connections is equivalent to its analogues on cubical sets with connections and to the Joyal model structure on simplicial sets. We also show that any comical set without connections may be equipped with connections via lifting, and that this can be done compatibly on the domain and codomain of any fibration or cofibration of comical sets.

Review text

The author proves that each of the model structures for (\(n\)-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure for (\(n\)-trivial, saturated) complicial sets on the category of marked simplicial sets, as well as to the corresponding comical model structures on cubical sets with connections. As a consequence, it is proved that the cubical Joyal model structure on cubical sets without connections is equivalent to its analogues on cubical sets with connections and to the Joyal model structure on simplicial sets. It is also proved that any comical set without connections may be equipped with connections via lifting, and that this can be done compatibly on the domain and codomain of any fibration or cofibration of comical sets.

Recommendations

• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• A co-reflection of cubical sets into simplicial sets with applications to model structures
• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• Cubical model categories and quasi-categories
• Algebraic models of cubical weak \(\infty\)-categories with connections

Cites work

• ABSTRACT HOMOTOPY
• Categorical homotopy theory
• Cubical groups which are Kan
• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 3591054 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Model structures for ( ,n)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• Presheaves as models for homotopy types
• Symmetric cubical sets
• The cubical category with connections is a strict test category
• Varieties of cubical sets
• Weak complicial sets. I: Basic homotopy theory

Cited in

(7)

• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• A co-reflection of cubical sets into simplicial sets with applications to model structures
• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• Algebraic models of cubical weak higher structures
• Cubical model categories and quasi-categories
• Cubical models of (, 1)-categories
• Symmetry in the cubical Joyal model structure

This page was built for publication: Cubical models of higher categories without connections

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