Stochastic order on metric spaces and the ordered Kantorovich monad

@article{Fritz2018StochasticOO,
  title={Stochastic order on metric spaces and the ordered Kantorovich monad},
  author={T. Fritz and P. Perrone},
  journal={ArXiv},
  year={2018},
  volume={abs/1808.09898}
}
  • T. Fritz, P. Perrone
  • Published 2018
  • Computer Science, Mathematics
  • ArXiv
  • In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by endowing the spaces of probability measures with the usual stochastic order. It can be considered a metric analogue of the probabilistic powerdomain. The spaces we consider, which we call L-ordered, are spaces where the order satisfies a mild compatibility… CONTINUE READING

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Paper Mentions

    Antisymmetry of the Stochastical Order on all Ordered Topological Spaces
    2

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 48 REFERENCES
    A Probability Monad as the Colimit of Finite Powers
    6
    The stochastic order of probability measures on ordered metric spaces
    11
    The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras
    23
    Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions
    5
    Bimonoidal Structure of Probability Monads
    5
    Ordered probability spaces
    15
    Duality theorems for marginal problems
    203
    Continuous valuations
    50