中心赋值单子
计算机科学中的逻辑
2021-11-23 v1 范畴论
一般拓扑
摘要
我们给出在dcpo与Scott连续函数构成的范畴DCPO上的一个交换赋值单子Z。与[Jia et al., 2021]中给出的交换赋值单子相比，我们的新单子Z更大，并且它包含单位区间[0,1]上赋值沿下半连续映射的所有推前像。我们相信这一新单子将有助于为具有连续概率选择的统计编程语言提供域论指称语义。
引用
@article{arxiv.2111.10873,
title = {The Central Valuations Monad},
author = {Xiaodong Jia and Michael Mislove and Vladimir Zamdzhiev},
journal= {arXiv preprint arXiv:2111.10873},
year = {2021}
}