Kleisli morphisms and randomized congruences for the Giry monad (Q995624): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2007.03.003 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2055085056 / rank | |||
Normal rank |
Revision as of 01:16, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kleisli morphisms and randomized congruences for the Giry monad |
scientific article |
Statements
Kleisli morphisms and randomized congruences for the Giry monad (English)
0 references
3 September 2007
0 references
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.
0 references
Kleisli morphisms
0 references
Giry monad
0 references
Hennessy-Milner logic
0 references
stochastic relations
0 references
randomized
0 references