nLab symmetric monoidal envelope

Content

Context

Higher algebra

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Content

Idea

The symmetric monoidal envelope (or May-Thomason envelope) ∞-functor is the left adjoint to the canonical inclusion of symmetric monoidal (∞,1)-categories into (∞,1)-operads.

References

The functor was constructed \infty-categorically in

and used at length to study operads in

Last revised on May 5, 2024 at 04:38:24. See the history of this page for a list of all contributions to it.