symmetric monoidal (∞,1)-category of spectra
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
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.
The functor was constructed -categorically in
and used at length to study operads in
Rune Haugseng, Joachim Kock, ∞-operads as symmetric monoidal ∞-categories, (arXiv:2106.12975)
Shaul Barkan, Jan Steinebrunner, The equifibered approach to ∞-properads, (arXiv:2211.02576)
Last revised on May 5, 2024 at 04:38:24. See the history of this page for a list of all contributions to it.