The smash product of monoidal theories

arXiv2101.10361MaRDI QIDQ6359006

Amar Hadzihasanovic

Publication date: 25 January 2021

Mathematics Subject Classification ID

Strict omega-categories, computads, polygraphs (18N30) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85) (infty)-operads and higher algebra (18N70) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

This page was built for publication: The smash product of monoidal theories