1 citations · 2 across the 8 of their papers we have counts for
9 papers
Causal Probabilistic Programming via Magmadic Do-Notation
Mario Román
We introduce a do-notation metalanguage for causal probabilistic programming. The metalanguage is based on magmads: non-associative monads. We derive causal probabilistic programmi…
Normalized Probabilistic Semantics is Not Associative
Elena Di Lavore, Mario Román, Márk Széles
Normalization, , fails to form a distributive law, forcing the composition of normalized stochastic kernels to be non-associative. We introduce a first norma…
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…
Deriving Program Logics from Distributive Monoidal Categories
Filippo Bonchi, Elena Di Lavore, Mario Román +1
We derive multiple program logics - including correctness, incorrectness, and relational Hoare logic - from the axioms of imperative categories: uniformly traced distributive copy-…
Timing via Pinwheel Double Categories
Elena Di Lavore, Mario Román
We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double c…
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…
A Simple Formal Language for Probabilistic Decision Problems
Elena Di Lavore, Bart Jacobs, Mario Román
Probabilistic puzzles can be confusing, partly because they are formulated in natural languages - full of unclarities and ambiguities - and partly because there is no widely accept…
Effectful Mealy Machines
Filippo Bonchi, Elena Di Lavore, Mario Román
Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy…
String Diagrams for Physical Duoidal Categories
Mario Román
We introduce string diagrams for physical duoidal categories (normal -symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free parti…