Inner horns for 2-quasi-categories

DOI10.1016/J.AIM.2020.107003MaRDI QIDQ2295476zbMATH OpenOpenAlexFDO

Authors Yuki Maehara

Publication date 13 February 2020

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

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

zbMATH Keywords

2-quasi-category\((\infty,2)\)-categoryinner hornmodel category

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10) ((infty, n))-categories and ((infty,infty))-categories (18N65) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: Dimitri Ara's 2-quasi-categories, which are certain presheaves over Andr'{e} Joyal's 2-cell category $Thet{a}_2$, are an example of a concrete model that realises the abstract notion of $(infty,2)$-category. In this paper, we prove that the 2-quasi-categories and the fibrations into them can be characterised using the inner horn inclusions and the equivalence extensions introduced by David Oury. These maps are more tractable than the maps that Ara originally used and therefore our result can serve as a combinatorial foundation for the study of 2-quasi-categories.

Review text

This paper is concerned with \(2\)-quasi-categories as a model for \((\infty,2)\)-categories. The main result is a new characterization of \(2\)-quasi-categories, based on the existence of liftings against the inner horn inclusions and equivalence extensions of Oury. This result is presented as Theorem 6.1, which more generally characterizes fibrations into 2-quasi-categories with respect to the model structure on \(\widehat{\Theta}_2\) introduced by \textit{D. Ara} [J. \(K\)-Theory 14, No. 3, 701--749 (2014; Zbl 1322.18002)]. Section 7 announces an upcoming application to the lax Gray tensor product of 2-quasi-categories.

Recommendations

• The 2-category theory of quasi-categories
• A Quillen model structure for 2-categories
• The Gray tensor product for 2-quasi-categories
• On the equivalence of all models for (∞,2)(\infty,2)‐categories
• A homotopy coherent cellular nerve for bicategories

Cites work

• A Cartesian presentation of weak \(n\)-categories
• A cellular nerve for higher categories
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• Formal category theory: Adjointness for 2-categories
• Higher Quasi-Categories vs Higher Rezk Spaces
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• Iterated wreath product of the simplex category and iterated loop spaces
• Quasi-categories and Kan complexes
• Reedy categories and the \(\varTheta\)-construction
• Weak complicial sets. I: Basic homotopy theory
• Weak complicial sets. II: Nerves of complicial Gray-categories

Cited in

(6)

• A homotopy coherent cellular nerve for bicategories
• The Gray tensor product for 2-quasi-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• The 2-category theory of quasi-categories
• A characterization of interior 2-caterpillars
• Quasi-Kan extensions for 2-categories

This page was built for publication: Inner horns for 2-quasi-categories

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