A Quillen's theorem A for strict -categories. II: The -categorical proof

zbMATH Open1477.18049arXiv1804.03241MaRDI QIDQ5217593FDOQ5217593

Authors: Dimitri Ara, Georges Maltsiniotis 

Publication date: 24 February 2020

Abstract: This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the current paper, we give a conceptual proof of an $infty$-categorical nature of the same theorem. This proof is based on the theory of join and slices for strict $infty$-categories developed by the authors in a previous paper, and on a comma construction for strict $infty$-categories generalizing classical comma categories and Gray's comma 2-categories. This $infty$-categorical comma construction is used by the first author in another paper to prove a generalization of Quillen's Theorem B to strict $infty$-categories. We believe that the importance of this comma construction in the theory of $infty$-categories goes far beyond the scope of homotopy theory.

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

Recommendations

• A Quillen theorem B for strict \(\infty \)-categories
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• On the Grothendieck construction for \(\infty\)-categories
• A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories
• Theorem A for marked 2-categories

zbMATH Keywords

joinorientalsGray tensor productsimplicial setsslicestheorem Aaugmented directed complexesStreet's nervestrict \(\infty\)-categoriesoplax transformationssesquicategoriesGray \(\infty\)-categoriescomma \(\infty\)-categories

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) Classification of homotopy type (55P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Functor categories, comma categories (18A25) Chain complexes in algebraic topology (55U15) 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)

Cites Work

• Title not available (Why is that?)
• Homotopy limits, completions and localizations
• Higher algebraic K-theory: I
• Complexe cotangent et déformations. II
• Quasi-categories and Kan complexes
• The algebra of oriented simplexes
• Omega-categories and chain complexes
• Presheaves as models for homotopy types
• A generalization of Quillen's Theorem A for lax 2-functors
• Formal category theory: Adjointness for 2-categories
• On the geometry of 2-categories and their classifying spaces
• Towards a Thomason model structure on the category of strict \(n\)-categories
• On the loop space of a 2-category
• Grothendieck's homotopy theory
• Simple omega-categories and chain complexes
• Nerves of Multiple Categories
• A Quillen theorem B for strict \(\infty \)-categories
• Title not available (Why is that?)
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• Toward a Thomason model structure on the category of strict \(n\)-categorie

Cited In (11)

• A construction of quotient \(A_\infty\)-categories
• Comparison of \(n\)-categorical nerves
• Theorem A for marked 2-categories
• A Quillen theorem B for strict \(\infty \)-categories
• Join and slices for strict $\infty$-categories
• Homology of categories via polygraphic resolutions
• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
• On the Grothendieck construction for \(\infty\)-categories
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• A categorical characterization of strong Steiner \(\omega\)-categories
• Polygraphic homology of local systems

This page was built for publication: A Quillen's theorem A for strict \(\infty\)-categories. II: The \(\infty\)-categorical proof

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