4 papers · 1 filter
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…
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…
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…