1 citations · 2 across the 2 of their papers we have counts for
4 papers
Order in Partial Markov Categories
Elena Di Lavore, Mario Román, Paweł Sobociński +1
Partial Markov categories are a recent framework for categorical probability theory that provide an abstract account of partial probabilistic computation with updating semantics. I…
Partial Markov Categories
Elena Di Lavore, Mario Román, Paweł Sobociński
We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categorie…
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…
String Diagrams for Premonoidal Categories
Mario Román, Paweł Sobociński
Premonoidal categories are monoidal categories without the interchange law while effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging…