A finite approach to representable multicategories and related structures
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909534874763264 |
|---|---|
| author | Lobbia, Gabriele |
| author_facet | Lobbia, Gabriele |
| contents | It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that representable multicategories should also admit a finite description. With this in mind, we give a new finite definition of a structure called a short multicategory, which only has multimaps of dimension at most four, and show that under certain representability conditions short multicategories correspond to various flavours of representable multicategories. This is done in both the classical and skew settings. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_06237 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A finite approach to representable multicategories and related structures Lobbia, Gabriele Category Theory 18M65, 18M05, 18M50, 18M15, 18D15 It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that representable multicategories should also admit a finite description. With this in mind, we give a new finite definition of a structure called a short multicategory, which only has multimaps of dimension at most four, and show that under certain representability conditions short multicategories correspond to various flavours of representable multicategories. This is done in both the classical and skew settings. |
| title | A finite approach to representable multicategories and related structures |
| topic | Category Theory 18M65, 18M05, 18M50, 18M15, 18D15 |
| url | https://arxiv.org/abs/2312.06237 |