{"id":"arxiv/2604.16945","url":"https://arxiv.org/abs/2604.16945","tags":["math.CT"],"score":0,"title":"Biprops","domain":"math.CT","source":"arxiv","authors":["Volodymyr Lyubashenko"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-18","reactions":{}}