17 citations · 45 across the 9 of their papers we have counts for
6 papers · 1 filter
Monoidal Width
Elena Di Lavore, Paweł Sobociński
We introduce monoidal width as a measure of complexity for morphisms in monoidal categories. Inspired by well-known structural width measures for graphs, like tree width and rank w…
String Diagram Rewrite Theory III: Confluence with and without Frobenius
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
In this paper we address the problem of proving confluence for string diagram rewriting, which was previously shown to be characterised combinatorically as double-pushout rewriting…
On Doctrines and Cartesian Bicategories
Filippo Bonchi, Alessio Santamaria, Jens Seeber +1
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of a…
String Diagrammatic Electrical Circuit Theory
Guillaume Boisseau, Paweł Sobociński
We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements,…
Functorial Semantics for Partial Theories
Ivan Di Liberti, Fosco Loregian, Chad Nester +1
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case,…
Proceedings Seventh Workshop on Structural Operational Semantics
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…