2 papers
cs.FL2023
String Diagrammatic Trace Theory
Matthew Earnshaw, Paweł Sobociński
We extend the theory of formal languages in monoidal categories to the multi-sorted, symmetric case, and show how this theory permits a graphical treatment of topics in concurrency…
cs.LO2023
The Produoidal Algebra of Process Decomposition
Matt Earnshaw, James Hefford, Mario Román
We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal co…