A Quillen's Theorem A for strict $\infty$-categories I: the simplicial proof
Abstract
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2017
- DOI:
- 10.48550/arXiv.1703.04689
- arXiv:
- arXiv:1703.04689
- Bibcode:
- 2017arXiv170304689A
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory;
- 18D05;
- 18G30;
- 18G35;
- 18G55;
- 55P15;
- 55U10;
- 55U15;
- 55U35
- E-Print:
- 51 pages, in French, v2: extended introduction, journal version