41 citations · 44 across the 2 of their papers we have counts for
5 papers
The smash product of monoidal theories
Amar Hadzihasanovic
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…
Diagrammatic sets and rewriting in weak higher categories
Amar Hadzihasanovic
We revisit Kapranov and Voevodsky's idea of spaces modelled on combinatorial pasting diagrams, now as a framework for higher-dimensional rewriting and the basis of a model of weak…
Representable diagrammatic sets as a model of weak higher categories
Amar Hadzihasanovic
Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose…
Weak units, universal cells, and coherence via universality for bicategories
Amar Hadzihasanovic
Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying…
The algebra of entanglement and the geometry of composition
Amar Hadzihasanovic
String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this f…