Disintegration and Bayesian inversion via string diagrams
From MaRDI portal
Publication:5243152
DOI10.1017/S0960129518000488zbMath1452.18008arXiv1709.00322OpenAlexW2949602009WikidataQ128221956 ScholiaQ128221956MaRDI QIDQ5243152
Publication date: 15 November 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.00322
Bayesian problems; characterization of Bayes procedures (62C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Integration and disintegration of measures (28A50)
Related Items
A non-commutative Bayes' theorem ⋮ Causal inference via string diagram surgery ⋮ Unnamed Item ⋮ Representable Markov categories and comparison of statistical experiments in categorical probability ⋮ A category-theoretic proof of the ergodic decomposition theorem ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ DisCoPy: Monoidal Categories in Python ⋮ Cyber Kittens, or Some First Steps Towards Categorical Cybernetics ⋮ Monoidal Width ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Non-commutative disintegrations: existence and uniqueness in finite dimensions ⋮ Free gs-monoidal categories and free Markov categories ⋮ Monoidal Width: Capturing Rank Width ⋮ Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing ⋮ Categorical information geometry ⋮ A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey's update rule ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weak and TV consistency in Bayesian uncertainty quantification using disintegration ⋮ Unnamed Item ⋮ Stick breaking, in coalgebra and probability
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A categorical foundation for Bayesian probability
- The existence of regular conditional probabilities: Necessary and sufficient conditions
- The geometry of tensor calculus. I
- Terminality implies no-signalling\dots and much more than that
- From probability monads to commutative effectuses
- A predicate/state transformer semantics for Bayesian learning
- Category-theoretic structure for independence and conditional independence
- Separoids: a mathematical framework for conditional independence and irrelevance
- A User's Guide to Measure Theoretic Probability
- Categorical quantum mechanics
- States of Convex Sets
- Random Measures, Theory and Applications
- Picturing Quantum Processes
- Pointless Learning
- Commutative Semantics for Probabilistic Programming
- A Survey of Graphical Languages for Monoidal Categories
- Quantum Theory from First Principles
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Understanding Probabilistic Programs
- Disintegration and compact measures.
- Conditioning as disintegration
- The EfProb Library for Probabilistic Calculations
- Semantics for probabilistic programming
- A Formal Semantics of Influence in Bayesian Reasoning
- The Logical Essentials of Bayesian Reasoning
- Identifying independence in bayesian networks
- Stochastic Relations
- Exact Bayesian inference by symbolic disintegration
- Bayesian Reasoning and Machine Learning
- Scalars, Monads, and Categories
- Measure Transformer Semantics for Bayesian Machine Learning
- An effect-theoretic account of Lebesgue integration
