4 citations · 11 across the 10 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022★ 4 cited
Monoidal Width: Unifying Tree Width, Path Width and Branch Width
Elena Di Lavore, Paweł Sobociński
We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture exist…
math.CT2020
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…