Zur kategoriellen Beschreibung von Schichtenarchitekturen

Lajios, Georgios

doi:10.17877/de290r-8144

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2007

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Kleisli morphisms and randomized congruences for the Giry monad

Doberkat

2007

Journal of Pure and Applied Algebra

View full text Add to dashboard Cite

Stochastic relations are the Kleisli morphisms for the Giry monad. This paper proposes the study of the associated morphisms and congruences. The relationship between kernels of these morphisms and congruences is studied, and a unique factorization of a morphism through this kernel is shown to exist. This study is based on an investigation into countably generated equivalence relations on the space of all subprobabilities. Operations on these relations are investigated quite closely. This utilizes positive convex structures and indicates cross-connections to Eilenberg-Moore algebras for the Giry monad. Hennessy-Milner logic serves as an illustration for randomized morphisms and congruences.

show abstract