Bimonoidal structure of probability monads

DOI10.1016/j.entcs.2018.11.007OpenAlexW2796845927WikidataQ113317492 ScholiaQ113317492MaRDI QIDQ2134828

Tobias Fritz, Paolo Perrone

Publication date: 3 May 2022

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

zbMATH Keywords

randomnessWasserstein distanceKantorovich dualityprobabilistic powerdomainstochastic correlationmonoidal monadsstrong monads

Mathematics Subject Classification ID

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

Related Items

Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Representable Markov categories and comparison of statistical experiments in categorical probability ⋮ Stochastic order on metric spaces and the ordered Kantorovich monad ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples

Cites Work

• The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}
• Category-theoretic structure for independence and conditional independence
• Strong functors and monoidal monads
• Monoidal Functors, Species and Hopf Algebras
• A diagrammatic approach to Hopf monads
• Logical relations for monadic types
• Functorial Boxes in String Diagrams
• Metric spaces, generalized logic, and closed categories
• Optimal Transport
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item