2013年9月2日
An Investigation of Preorders on the Subdistribution Monad and their TT-Simulations
A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers
- 開始ページ
- 33
- 終了ページ
- 47
- 記述言語
- 英語
- 掲載種別
The subdistribution monad is well-known in the coalgebraic
treatment of discrete probabilistic systems. We analyse preorders on
the subdistribution monad using a technique called preorder ⊤⊤-lifting,
which calculates relational liftings and preorders on monads at the same
time. We show that there are 52 = 25 preorders at unit type on the
subdistribution monad. We partition all preorders on this monad using
preorders at the unit type. Moreover, we show that there are exactly 9
partial orders on the subdistribution monad. We give relational liftings
generated from these preorders, and we show that various probabilistic
simulations are covered with simulations given by the preorder ⊤⊤-lifting
and preorders at the unit type on the subdistribution monad.
treatment of discrete probabilistic systems. We analyse preorders on
the subdistribution monad using a technique called preorder ⊤⊤-lifting,
which calculates relational liftings and preorders on monads at the same
time. We show that there are 52 = 25 preorders at unit type on the
subdistribution monad. We partition all preorders on this monad using
preorders at the unit type. Moreover, we show that there are exactly 9
partial orders on the subdistribution monad. We give relational liftings
generated from these preorders, and we show that various probabilistic
simulations are covered with simulations given by the preorder ⊤⊤-lifting
and preorders at the unit type on the subdistribution monad.
- リンク情報