On autoequivalences of the (\infty, 1)-category of \infty-operads
arXiv:1312.4994 · doi:10.1007/s00209-015-1509-5
Abstract
We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by Toën, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our calculation is based on the model of complete dendroidal Segal spaces introduced by Cisinski and Moerdijk. Similarly, we prove that the (\infty, 1)-category of autoequivalences of non-symmetric \infty-operads is the discrete monoidal category associated to Z/2Z. We also include a computation of the (\infty, 1)-category of autoequivalences of (\infty, n)-categories based on Rezk's Θ_n-spaces.
43 pages, v2: updated according to the revised version of [BSP13], minor correction in the proof of Proposition 3.5.3, v3: journal version, minor changes, numbering has changed, v4: minor corrections in Section 4 due to a mistake in the previous Remark 4.3.2, some intermediate statements slightly changed, none of the main results are affected, numbering has not changed
References in corpus (7)
- Dendroidal sets and simplicial operads
- Derived Algebraic Geometry III: Commutative Algebra
- On the Unicity of the Homotopy Theory of Higher Categories
- Higher quasi-categories vs higher Rezk spaces
- (Infinity,2)-Categories and the Goodwillie Calculus I
- On the homotopy theory of Grothendieck \infty-groupoids
- Strict \infty-groupoids are Grothendieck \infty-groupoids