A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof

DOI10.1016/J.AIM.2018.01.018zbMath1390.18011arXiv1703.04689OpenAlexW2599443264MaRDI QIDQ1705469

Georges Maltsiniotis, Dimitri Ara

Publication date: 15 March 2018

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

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

zbMATH Keywords

homotopy typesslicestheorem Aaugmented directed complexesgray tensor productStreet's nervestrict \(\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 (category-theoretic aspects), dg categories (18G35) Chain complexes in algebraic topology (55U15)

Related Items (8)

Theorem A for marked 2-categories ⋮ A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof ⋮ Bilimits are bifinal objects ⋮ 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\) ⋮ A Quillen Theorem B for strict ∞‐categories ⋮ Comparison of \(n\)-categorical nerves

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional normalisation strategies for acyclicity
• Derived algebraic geometry
• Correction to ``A Cartesian presentation of weak \(n\)-categories
• Homotopy fiber sequences induced by 2-functors
• Joyal's category \(\varTheta\) is a test category
• On the loop space of a 2-category
• A cellular nerve for higher categories
• Weak complicial sets. I: Basic homotopy theory
• A folk model structure on omega-cat
• A Cartesian presentation of weak \(n\)-categories
• Polygraphic resolutions and homology of monoids
• Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
• The algebra of oriented simplexes
• Function complexes in homotopical algebra
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On the geometry of 2-categories and their classifying spaces
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• Omega-categories and chain complexes
• Quasi-categories and Kan complexes
• Classifying spaces and classifying topoi
• Left fibrations and homotopy colimits
• Iterated wreath product of the simplex category and iterated loop spaces
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Homotopical algebra
• Etale homotopy
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Homotopy limits, completions and localizations
• On homotopy types modelized by strict \infty-groupoids
• Opetopes and chain complexes
• Th\'eories homotopiques des 2-cat\'egories
• Nerves of Multiple Categories
• A model category structure on the category of simplicial categories
• On the Classification of Topological Field Theories
• Higher algebraic K-theory: I
• A model for the homotopy theory of homotopy theory
• Join and slices for strict $\infty$-categories
• A Type-Theoretical Definition of Weak {\omega}-Categories
• Un Th\'eor\`eme A de Quillen pour les 2-foncteurs lax
• Recent progress in geometric Langlands theory
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• Higher Quasi-Categories vs Higher Rezk Spaces
• Higher Topos Theory (AM-170)

This page was built for publication: A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof