A Probability Monad as the Colimit of Spaces of Finite Samples

zbMath1410.60007arXiv1712.05363MaRDI QIDQ4628472

Tobias Fritz, Paolo Perrone

Publication date: 14 March 2019

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

zbMATH Keywords

optimal transportWasserstein spacesKantorovich-Rubinstein distanceGiry monadgraded monadcategorical probabilitymonoidal Kan extension

Mathematics Subject Classification ID

Axiomatic and generalized convexity (52A01) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Axioms; other general questions in probability (60A05)

Related Items (12)

Monads, partial evaluations, and rewriting ⋮ Kan extensions are partial colimits ⋮ Metric monads ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Operations on Metric Thickenings ⋮ Flexibly graded monads and graded algebras ⋮ Hypernormalisation in an abstract setting ⋮ A categorical approach to statistical mechanics ⋮ Value Iteration is Optic Composition ⋮ Unnamed Item ⋮ Stochastic order on metric spaces and the ordered Kantorovich monad ⋮ Are Banach spaces monadic?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Eilenberg--Moore algebras for stochastic relations
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Functional distribution monads in functional-analytic contexts
• From probability monads to commutative effectuses
• Directed homology theories and Eilenberg-Steenrod axioms
• A categorical approach to the maximum theorem
• Bimonoidal structure of probability monads
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Postulates for the barycentric calculus
• Towards a Formal Theory of Graded Monads
• On the axiomatization of convex subsets of Banach spaces
• A Bayesian Characterization of Relative Entropy
• Constructing Applicative Functors
• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• Operads as polynomial 2-monads
• Quantitative Algebraic Reasoning
• Algebraic Kan extensions in double categories
• Automata, Languages and Programming
• CONCUR 2005 – Concurrency Theory
• Optimal Transport

This page was built for publication: A Probability Monad as the Colimit of Spaces of Finite Samples