Multicategories from Symmetric Monoidal Categories
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916875304173568 |
|---|---|
| author | Elmendorf, A. D. |
| author_facet | Elmendorf, A. D. |
| contents | This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also shows that this forgetful functor has a weak left adjoint, and that the monad of the adjunction gives a strictification construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_00656 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Multicategories from Symmetric Monoidal Categories Elmendorf, A. D. Category Theory 18M05 (primary), 18M65 (secondary) This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also shows that this forgetful functor has a weak left adjoint, and that the monad of the adjunction gives a strictification construction. |
| title | Multicategories from Symmetric Monoidal Categories |
| topic | Category Theory 18M05 (primary), 18M65 (secondary) |
| url | https://arxiv.org/abs/2308.00656 |