Disintegration and Bayesian Inversion via String Diagrams
Not on the map. Why?
Abstract (arXiv)
The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or from an already given channel (in opposite direction). These notions exist in the literature, in concrete situations, but are presented here in abstract graphical formulations. The resulting abstract descriptions are used for proving basic results in conditional probability theory. The existence of disintegration and Bayesian inversion is discussed for discrete probability, and also for measure-theoretic probability --- via standard Borel spaces and via likelihoods. Finally, the usefulness of disintegration and Bayesian inversion is illustrated in several examples.
Key facts. Cited by 32 papers in the map (data through 7 Oct 2026). First posted on arXiv 29 Aug 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 6; 2022: 3; 2023: 11; 2024: 2; 2025: 6; 2026: 4.
32 papers.
Sort:
- 2021Category Theory in Machine Learningcited by 36
- 2024Position: Categorical Deep Learning is an Algebraic Theory of All Architecturescited by 32
- 2022The d-separation criterion in Categorical Probabilitycited by 12
- 2021Interpreting Dynamical Systems as Bayesian Reasonerscited by 5
- 2025Mathematical Foundation of Interpretable Equivariant Surrogate Modelscited by 5
- 2021A Categorical Semantics of Fuzzy Concepts in Conceptual Spacescited by 4
- 2024A Pattern Language for Machine Learning Taskscited by 4
- 2025Intuitionistic j-Do-Calculus in Topos Causal Modelscited by 4
- 2026Actionable Interpretability Must Be Defined in Terms of Symmetriescited by 4
- 2023The Compositional Structure of Bayesian Inferencecited by 3
- 2023A Category-theoretical Meta-analysis of Definitions of Disentanglementcited by 3
- 2023Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energycited by 3
20 more
- 2023From Conceptual Spaces to Quantum Concepts: Formalising and Learning Structured Conceptual Modelscited by 3
- 2021Compositional Semantics for Probabilistic Programs with Exact Conditioningcited by 2
- 2022Compositional Active Inference II: Polynomial Dynamics. Approximate Inference Doctrinescited by 2
- 2023A Heavy-Tailed Algebra for Probabilistic Programmingcited by 2
- 2025A Markov Categorical Framework for Language Modelingcited by 2
- 2026Infinitesimal Causalitycited by 2
- 2021Generalized Optimization: A First Step Towards Category Theoretic Learning Theorycited by 1
- 2021A category theory framework for Bayesian learningcited by 1
- 2023ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programscited by 1
- 2023Supervised learning with probabilistic morphisms and kernel mean embeddingscited by 1
- 2025A Rose by Any Other Name Would Smell as Sweet: Categorical Homotopy Theory for Large Language Modelscited by 1
- 2022A Probabilistic Generative Model of Free Categoriescited by 0
- 2023Formalising and Learning a Quantum Model of Conceptscited by 0
- 2023String Diagrams with Factorized Densitiescited by 0
- 2023Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programmingcited by 0
- 2023Overdrawing Urns using Categories of Signed Probabilitiescited by 0
- 2025Topos Causal Modelscited by 0
- 2025Consciousness as a Functorcited by 0
- 2026All you need is logcited by 0
- 2026Towards unsupervised representation learning for quantum data: quantum models with inference and generationcited by 0
- 2026Towards unsupervised representation learning for quantum data: quantum models with inference and generation31 Aug 2026
- 2026All you need is log25 Jun 2026
- 2026Infinitesimal Causality23 Jun 2026
- 2026Actionable Interpretability Must Be Defined in Terms of Symmetries19 Jan 2026
- 2025Intuitionistic j-Do-Calculus in Topos Causal Models20 Oct 2025
- 2025Consciousness as a Functor25 Aug 2025
- 2025A Rose by Any Other Name Would Smell as Sweet: Categorical Homotopy Theory for Large Language Models7 Aug 2025
- 2025Topos Causal Models5 Aug 2025
- 2025A Markov Categorical Framework for Language Modeling25 Jul 2025
- 2025Mathematical Foundation of Interpretable Equivariant Surrogate Models3 Mar 2025
- 2024A Pattern Language for Machine Learning Tasks2 Jul 2024
- 2024Position: Categorical Deep Learning is an Algebraic Theory of All Architectures23 Feb 2024
20 more
- 2023Overdrawing Urns using Categories of Signed Probabilities14 Dec 2023
- 2023From Conceptual Spaces to Quantum Concepts: Formalising and Learning Structured Conceptual Models6 Nov 2023
- 2023Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming13 Sep 2023
- 2023Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy1 Aug 2023
- 2023A Heavy-Tailed Algebra for Probabilistic Programming15 Jun 2023
- 2023A Category-theoretical Meta-analysis of Definitions of Disentanglement11 May 2023
- 2023Supervised learning with probabilistic morphisms and kernel mean embeddings10 May 2023
- 2023The Compositional Structure of Bayesian Inference10 May 2023
- 2023String Diagrams with Factorized Densities4 May 2023
- 2023ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs21 Feb 2023
- 2023Formalising and Learning a Quantum Model of Concepts7 Feb 2023
- 2022Compositional Active Inference II: Polynomial Dynamics. Approximate Inference Doctrines25 Aug 2022
- 2022The d-separation criterion in Categorical Probability12 Jul 2022
- 2022A Probabilistic Generative Model of Free Categories9 May 2022
- 2021Interpreting Dynamical Systems as Bayesian Reasoners27 Dec 2021
- 2021A category theory framework for Bayesian learning29 Nov 2021
- 2021A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces12 Oct 2021
- 2021Generalized Optimization: A First Step Towards Category Theoretic Learning Theory20 Sep 2021
- 2021Category Theory in Machine Learning13 Jun 2021
- 2021Compositional Semantics for Probabilistic Programs with Exact Conditioning27 Jan 2021
- 2021Category Theory in Machine Learningcited by 36
- 2024Position: Categorical Deep Learning is an Algebraic Theory of All Architecturescited by 32
- 2022The d-separation criterion in Categorical Probabilitycited by 12
- 2021Interpreting Dynamical Systems as Bayesian Reasonerscited by 5
- 2025Mathematical Foundation of Interpretable Equivariant Surrogate Modelscited by 5
- 2021A Categorical Semantics of Fuzzy Concepts in Conceptual Spacescited by 4
- 2024A Pattern Language for Machine Learning Taskscited by 4
- 2025Intuitionistic j-Do-Calculus in Topos Causal Modelscited by 4
- 2026Actionable Interpretability Must Be Defined in Terms of Symmetriescited by 4
- 2023The Compositional Structure of Bayesian Inferencecited by 3
- 2023A Category-theoretical Meta-analysis of Definitions of Disentanglementcited by 3
- 2023Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energycited by 3
12 most cited of 32 All 32 (JSON)
- 2026Towards unsupervised representation learning for quantum data: quantum models with inference and generation31 Aug 2026
- 2026All you need is log25 Jun 2026
- 2026Infinitesimal Causality23 Jun 2026
- 2026Actionable Interpretability Must Be Defined in Terms of Symmetries19 Jan 2026
- 2025Intuitionistic j-Do-Calculus in Topos Causal Models20 Oct 2025
- 2025Consciousness as a Functor25 Aug 2025
- 2025A Rose by Any Other Name Would Smell as Sweet: Categorical Homotopy Theory for Large Language Models7 Aug 2025
- 2025Topos Causal Models5 Aug 2025
- 2025A Markov Categorical Framework for Language Modeling25 Jul 2025
- 2025Mathematical Foundation of Interpretable Equivariant Surrogate Models3 Mar 2025
- 2024A Pattern Language for Machine Learning Tasks2 Jul 2024
- 2024Position: Categorical Deep Learning is an Algebraic Theory of All Architectures23 Feb 2024
12 newest of 32 All 32 (JSON)