2 citations · 4 across the 5 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022
Monoidal Width: Capturing Rank Width
Elena Di Lavore, Paweł Sobociński
Monoidal width was recently introduced by the authors as a measure of the complexity of decomposing morphisms in monoidal categories. We have shown that in a monoidal category of c…
math.CT2021
Dialectica Petri Nets
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialect…