Biprops
Category Theory
2026-04-21 v1
Abstract
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.
Cite
@article{arxiv.2604.16945,
title = {Biprops},
author = {Volodymyr Lyubashenko},
journal= {arXiv preprint arXiv:2604.16945},
year = {2026}
}
Comments
39 pages