REVIEW 3 cited by
Disintegration and Bayesian Inversion via String Diagrams
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
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.
Forward citations
Cited by 3 Pith papers
-
Infinitesimal Causality
Infinitesimal causality is defined via compatibility of categorical and geometric Frobenius structures in Markov categories, with interventions as tangent vectors deforming copy/discard operations and Lie brackets mea...
-
A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
Markov categories provide a synthetic, axiom-based framework in which conditional independence, sufficiency, completeness, and classical theorems such as Basu and Bahadur hold uniformly across many probability theories.
-
Local Uniqueness of the Born Rule on Categories with Complex-Weighted Morphisms
A polynomial probability functional on complex amplitudes that is phase invariant, phase-averaged additive, and normalized must equal the squared modulus, the Born rule.
Discussion (0). Continue with ORCID to comment.