Kleisli morphisms and randomized congruences for the Giry monad (Q995624)

The present paper is about the Kleisli morphisms in the Giry monad (proposed and investigated by \textit{M. Giry} [Lect. Notes Math. 915, 68--85 (1981; Zbl 0486.60034)] as one component for the categorical foundation of probability theory) and their associated morphisms and congruences. The relationship between kernels of these morphisms and congruences is explained, and a unique factorization of a morphism through this kernel is shown to exist. This study is based on a subdivision into countably generated equivalence relations on the space of all subprobabilities; operations on these relations are investigated quite closely.