Probability sheaves and the Giry monad

DOI10.4230/LIPICS.CALCO.2017.1MaRDI QIDQ4580195zbMATHOpenAlexFDO

Authors Alex Simpson

Publication date 13 August 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.CALCO.2017.1

zbMATH Keywords

conditional independencecategory theoryrandom variablesheavesGiry monad

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Categorical semantics of formal languages (18C50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Semantics in the theory of computing (68Q55)

Recommendations

• Codensity and the Giry monad
• A probability monad as the colimit of spaces of finite samples
• Weak bisimulations for the Giry monad
• Kleisli morphisms and randomized congruences for the Giry monad
• Probabilities, distribution monads, and convex categories

Cited in

(11)

• A category of probability spaces
• Giry and the Machine
• Codensity and the Giry monad
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Kleisli morphisms and randomized congruences for the Giry monad
• Probability monads with submonads of deterministic states
• The factorization of the Giry monad
• Probabilities, distribution monads, and convex categories
• scientific article; zbMATH DE number 7552812 (Why is no real title available?)
• A monad for probabilistic point processes
• scientific article; zbMATH DE number 1072416 (Why is no real title available?)

This page was built for publication: Probability sheaves and the Giry monad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580195)