Probability monads with submonads of deterministic states

DOI10.1145/3531130.3533355MaRDI QIDQ6649470zbMATH OpenFDO

Authors Sean Moss, Paolo Perrone

Publication date 6 December 2024

Full work available at URL https://doi.org/10.1145/3531130.3533355

zbMATH Keywords

copy-discard categoriesdenotational semanticsMarkov categoriesmonadsprobabilistic programmingprobabilitysynthetic probabilitythunk-force categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Probability theory on algebraic and topological structures (60B99)

Recommendations

• From probability monads to commutative effectuses
• Probabilities, distribution monads, and convex categories
• A probability monad as the colimit of spaces of finite samples
• scientific article; zbMATH DE number 7552812
• Probability sheaves and the Giry monad

Cites work

• A Convenient Category for Higher-Order Probability Theory
• A new approach to abstract syntax with variable binding
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Algebraic foundations for effect-dependent optimisations
• Bimonoidal structure of probability monads
• Commutative monads as a theory of distributions
• De Finetti's construction as a categorical limit
• Disintegration and Bayesian inversion via string diagrams
• Domain theory in logical form
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1231584 (Why is no real title available?)
• scientific article; zbMATH DE number 1770055 (Why is no real title available?)
• scientific article; zbMATH DE number 2087428 (Why is no real title available?)
• Infinite products and zero-one laws in categorical probability
• Labelled Markov processes.
• Modelling environments in call-by-value programming languages.
• Monads, partial evaluations, and rewriting
• Notions of computation and monads
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• Representable Markov categories and comparison of statistical experiments in categorical probability
• Sobriety for equilogical spaces

Cited in

(3)

• Categories of abstract and noncommutative measurable spaces
• A categorical treatment of open linear systems
• Empirical measures and strong laws of large numbers in categorical probability

This page was built for publication: Probability monads with submonads of deterministic states

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