Prefer a chat interface with context about you and your work?
The Smash Product of Monoidal Theories
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) ā¦