The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas

Tetsuya Sato

doi:10.1016/j.jpaa.2017.11.004

paper

The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas

arXiv:1612.05939 · doi:10.1016/j.jpaa.2017.11.004

Abstract

We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions.

References in corpus (1)

Bayesian Inference using the Symmetric Monoidal Closed Category Structure

Cited by in corpus (5)

Formal verification of higher-order probabilistic programs
Bimonoidal Structure of Probability Monads
What Makes a Strong Monad?
On Graded Monads, Distributive Laws and Costrong Functors
Quasi-Measurable Spaces: A Convenient Foundation of Probability Theory