3 papers
cs.LO2026
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…
math.CT2026
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…
math.CT2025
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…