Publication:6359006

arXiv2101.10361MaRDI QIDQ6359006FDOQ6359006

Amar Hadzihasanovic

Publication date: 25 January 2021

Abstract: The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids and the theory of bialgebras. We give a topological interpretation (and vast generalisation) of this construction as a low-dimensional projection of a "smash product of pointed directed spaces". Here directed spaces are embodied by combinatorial structures called diagrammatic sets, while Gray products replace cartesian products. The correspondence is mediated by a web of adjunctions relating diagrammatic sets, pros, probs, props, and Gray-categories. The smash product applies to presentations of higher-dimensional theories and systematically produces higher-dimensional coherence cells.

Has companion code repository: https://github.com/ahadziha/rewalt

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359006)