Disintegration and Bayesian Inversion via String Diagrams

Understand

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.