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 条
  • [41] On the Probabilistic Convergence Spaces: Monad and its Eilenberg-Moore Category
    Ahsanullah, T. M. G.
    Baran, Tesnim Meryem
    Al-Thukair, Fawzi
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2022, 18 (02) : 385 - 405
  • [42] Behavior of the Eilenberg-Moore spectral sequence in derived string topology
    Kuribayashi, Katsuhiko
    Menichi, Luc
    Naito, Takahito
    TOPOLOGY AND ITS APPLICATIONS, 2014, 164 : 24 - 44
  • [43] Eilenberg-Moore spectral sequence calculation of function space cohomology
    Katsuhiko Kuribayashi
    manuscripta mathematica, 2004, 114 : 305 - 325
  • [44] Eilenberg-Moore spectral sequence calculation of function space cohomology
    Kuribayashi, K
    MANUSCRIPTA MATHEMATICA, 2004, 114 (03) : 305 - 325
  • [45] Eilenberg-Moore and Kleisli Type Categories for Bimonads on Arbitrary Categories
    Agore, A. L.
    RESULTS IN MATHEMATICS, 2022, 77 (06)
  • [46] A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
    Nishizawa, Koki
    Furusawa, Hitoshi
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2014), 2014, 8428 : 261 - 276
  • [47] A new Kenzo module for computing the Eilenberg-Moore spectral sequence
    Romero, Ana
    Rubio, Julio
    Sergeraert, Francis
    Szymik, Markus
    ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2020, 54 (02): : 57 - 60
  • [48] On Eilenberg–Moore algebras induced by chains
    S. Salbany
    algebra universalis, 1999, 41 : 337 - 359
  • [49] Torsion in the cohomology of finite loop spaces and the Eilenberg-Moore spectral sequence
    Neumann, F
    TOPOLOGY AND ITS APPLICATIONS, 2000, 100 (2-3) : 133 - 150
  • [50] Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
    Miguel, Daniel
    Guidolin, Andrea
    Romero, Ana
    Rubio, Julio
    JOURNAL OF SYMBOLIC COMPUTATION, 2023, 114 : 122 - 148
12345