$\infty$-operads as symmetric monoidal $\infty$-categories
Abstract
We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric monoidal $\infty$-categories equipped with a symmetric monoidal functor to finite sets (with disjoint union as tensor product). The latter leads to a third description of $\infty$-operads, as a localization of a presheaf $\infty$-category, and we use this to give a simple proof of the equivalence between Lurie's and Barwick's models for $\infty$-operads.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2021
- DOI:
- 10.48550/arXiv.2106.12975
- arXiv:
- arXiv:2106.12975
- Bibcode:
- 2021arXiv210612975H
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology
- E-Print:
- 26 pages. v2: Accepted version, only minor changes