1 citations · 1 across the 5 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2025
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…
math.CT2025
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…
math.CT2025★ 1 cited
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…