Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.16945 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911604105281536 |
|---|---|
| author | Lyubashenko, Volodymyr |
| author_facet | Lyubashenko, Volodymyr |
| contents | We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We prove that a symmetric weak multicategory gives rise to a biprop and a symmetric weak multifunctor gives rise to a morphism of biprops. This is a functor from the category of symmetric weak multicategories to the category of biprops. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_16945 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Biprops Lyubashenko, Volodymyr Category Theory 18M65 We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We prove that a symmetric weak multicategory gives rise to a biprop and a symmetric weak multifunctor gives rise to a morphism of biprops. This is a functor from the category of symmetric weak multicategories to the category of biprops. |
| title | Biprops |
| topic | Category Theory 18M65 |
| url | https://arxiv.org/abs/2604.16945 |