14 papers
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…
Graded Monad Coalgebras for Continuous-Time Transition Systems
Elena Di Lavore, Jonas Forster, Mario Román
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model…
A Diagrammatic Basis for Computer Programming
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
Tape diagrams provide a convenient graphical notation for arrows of rig categories, i.e., categories equipped with two monoidal products, and . In this work, we i…
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…
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…