Probability sheaves and the Giry monad

DOI10.4230/LIPICS.CALCO.2017.1zbMATH Open1434.18004OpenAlexW2774191252MaRDI QIDQ4580195FDOQ4580195

Authors: Alex Simpson 

Publication date: 13 August 2018

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

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

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)

Cited In (11)

• The factorization of the Giry monad
• Kleisli morphisms and randomized congruences for the Giry monad
• Title not available (Why is that?)
• A category of probability spaces
• Giry and the Machine
• Codensity and the Giry monad
• Probabilities, distribution monads, and convex categories
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Probability monads with submonads of deterministic states
• Title not available (Why is that?)
• A monad for probabilistic point processes

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)