Kleisli morphisms and randomized congruences for the Giry monad (Q995624): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
| Property / DOI | |||
| Property / DOI: 10.1016/j.jpaa.2007.03.003 / rank | |||
| Property / DOI | |||
| Property / DOI: 10.1016/J.JPAA.2007.03.003 / rank | |||
Normal rank | |||
Latest revision as of 11:59, 10 December 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
0 references
