Bimonoidal structure of probability monads

DOI10.1016/J.ENTCS.2018.11.007MaRDI QIDQ2134828zbMATH OpenOpenAlexWikidataFDO

Authors Tobias Fritz, Paolo Perrone

Publication date 3 May 2022

Full work available at URL https://arxiv.org/abs/1804.03527

zbMATH Keywords

Kantorovich dualitymonoidal monadsprobabilistic powerdomainrandomnessstochastic correlationstrong monadsWasserstein distance

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Probabilities, distribution monads, and convex categories
• A probability monad as the colimit of spaces of finite samples
• scientific article; zbMATH DE number 7552812
• Category-theoretic structure for independence and conditional independence
• Probability sheaves and the Giry monad

Cites work

• A diagrammatic approach to Hopf monads
• Category-theoretic structure for independence and conditional independence
• Functorial Boxes in String Diagrams
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 1113628 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Logical relations for monadic types
• Metric spaces, generalized logic, and closed categories
• Monoidal functors, species and Hopf algebras
• Optimal Transport
• Strong functors and monoidal monads
• The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}

Cited in

(14)

• From probability monads to commutative effectuses
• Categorial independence and Lévy processes
• Category-theoretic structure for independence and conditional independence
• Stochastic order on metric spaces and the ordered Kantorovich monad
• A probability monad as the colimit of spaces of finite samples
• Belief propagation in monoidal categories
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• scientific article; zbMATH DE number 7552812 (Why is no real title available?)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Representable Markov categories and comparison of statistical experiments in categorical probability
• Bimonoidal Structure of Probability Monads
• Characterizing the asymptotic and catalytic stochastic orders on topological abelian groups
• Probability monads with submonads of deterministic states
• Tapes as stochastic matrices of string diagrams

This page was built for publication: Bimonoidal structure of probability monads

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