Commutative monads as a theory of distributions

Abstract

The theory of commutative monads on cartesian closed categories provides a framework where aspects of the theory of distributions and other extensive quantities can be formulated and some results proved. We make explicit a link between our theory and the theory of Schwartz distributions of compact support. We also discuss probability distributions.

This submission subsumes and simplifies most of two previous submissions by the author, arXiv 1103.6009 and 1105.3405

References in corpus (2)

• Monads and extensive quantities
• Calculus of extensive quantities

Cited by in corpus (19)

• Denotational validation of higher-order Bayesian inference
• Mixed powerdomains for probability and nondeterminism
• Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability
• ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
• What Makes a Strong Monad?
• The Beta-Bernoulli process and algebraic effects
• Codensity and the Giry monad
• Probability, valuations, hyperspace: Three monads on Top and the support as a morphism
• From Branching to Linear Time, Coalgebraically
• Multinomial and Hypergeometric Distributions in Markov Categories
• Probability monads with submonads of deterministic states - Extended version
• An Equational Metalogic for Monadic Equational Systems
• Effectuses in Categorical Quantum Foundations
• Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
• A general Fubini theorem for the Riesz paradigm
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers
• Continuous R-valuations
• Duality for generic algebras