Partial Markov Categories

2025/01/24 by Elena Di Lavore, Mario Román, Di Lavore, Elena +3 · 2 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2502.03477

Abstract

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 categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms.

Cited by

• Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
• Between Markov and restriction: Two more monads on categories for relations

Related

• Evidential Decision Theory via Partial Markov Categories
• Partializations of Markov categories
• Order in Partial Markov Categories
• Hidden Markov Models and the Bayes Filter in Categorical Probability
• Bayesian machine learning via category theory