∞ -operads as symmetric monoidal ∞ -categories

We use Lurie's symmetric monoidal envelope functor to give two new descriptions of ∞-operads: as certain symmetric monoidal ∞-categories whose underlying symmetric monoidal ∞-groupoids are free, and as certain symmetric monoidal ∞-categories equipped with a symmetric monoidal functor to finite...

Descripción completa

Detalles Bibliográficos
Autores: Haugseng, Rune|||0000-0001-6468-362X, Kock, Joachim|||0000-0003-3358-2812
Tipo de recurso: artículo
Fecha de publicación:2024
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:286798
Acceso en línea:https://ddd.uab.cat/record/286798
https://dx.doi.org/urn:doi:10.5565/PUBLMAT6812406
Access Level:acceso abierto
Palabra clave:∞-operads
Symmetric monoidal ∞-categories
Descripción
Sumario:We use Lurie's symmetric monoidal envelope functor to give two new descriptions of ∞-operads: as certain symmetric monoidal ∞-categories whose underlying symmetric monoidal ∞-groupoids are free, and as certain symmetric monoidal ∞-categories equipped with a symmetric monoidal functor to finite sets (with disjoint union as tensor product). The latter leads to a third description of ∞-operads, as a localization of a presheaf ∞-category, and we use this to give a simple proof of the equivalence between Lurie's and Barwick's models for ∞-operads.