R Haugseng, J Kock - arXiv preprint arXiv:2106.12975, 2021 - arxiv.org
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 …