Eilenberg-Moore algebras for stochastic relations

被引：28
|
作者：
Doberkat, Ernst-Erich [1 ]
机构：
[1] Univ Dortmund, Chair Software Technol, D-44221 Dortmund, Germany
来源：
INFORMATION AND COMPUTATION | 2006年 / 204卷 / 12期
关键词：
stochastic relations; stochastic powerdomain; Giry monad; Eilenberg-Moore algebras; computation through monads; convexity; positive convex structures;
D O I：
10.1016/j.ic.2006.09.001
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We 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. (c) 2006 Elsevier Inc. All rights reserved.
引用
收藏
页码：1756 / 1781
页数：26
相关论文
共 50 条
12345