A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof

zbMath1477.18049arXiv1804.03241MaRDI QIDQ5217593

Dimitri Ara, Georges Maltsiniotis

Publication date: 24 February 2020

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

zbMATH Keywords

joinsimplicial setsorientalsGray tensor productslicestheorem Aaugmented directed complexesStreet's nervestrict \(\infty\)-categoriesoplax transformationssesquicategoriesGray \(\infty\)-categoriescomma \(\infty\)-categories

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Chain complexes in algebraic topology (55U15) Functor categories, comma categories (18A25) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) Monoidal categories, symmetric monoidal categories (18M05) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) ((infty, n))-categories and ((infty,infty))-categories (18N65)

Related Items

Theorem A for marked 2-categories ⋮ A categorical characterization of strong Steiner \(\omega\)-categories ⋮ Homology of categories via polygraphic resolutions ⋮ 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) ⋮ Comparison of \(n\)-categorical nerves

Cites Work

• On the loop space of a 2-category
• Simple omega-categories and chain complexes
• The algebra of oriented simplexes
• On the geometry of 2-categories and their classifying spaces
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• Omega-categories and chain complexes
• Formal category theory: Adjointness for 2-categories
• Quasi-categories and Kan complexes
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Complexe cotangent et déformations. II
• Homotopy limits, completions and localizations
• Nerves of Multiple Categories
• Higher algebraic K-theory: I
• A Quillen Theorem B for strict ∞‐categories
• Un Th\'eor\`eme A de Quillen pour les 2-foncteurs lax
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item