Eilenberg–Moore algebras for stochastic relations

AbstractWe investigate the category of Eilenberg–Moore algebras for the Giry monad associated with stochastic relations over Polish spaces with continuous maps as morphisms. The algebras are identified as the positive convex structures on the base space. The forgetful functor assigning a positive convex structure the underlying Polish space has the stochastic powerdomain as its left adjoint