Coherent multicategory from promonoidals

Last updated Oct 7, 2024

• multicategory - promonoidal category