https://zbmath.org/atom/cc/18B10 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.18007 2024-04-15T15:10:58.286558Z “范德韦特林，约翰” https://zbmath.org/authors/？q=ai:van-去焊接约翰 摘要：实单位区间是概率论、测度论、凸集和同伦理论等数学分支的基本构造块。然而，先验单位区间可以被视为任意选择，人们可能想知道是否有更规范的方法来构造单位区间。本文利用效应代数理论找到了这样一个结构。我们证明了实单位区间是有界偏序集范畴上特定单子的唯一非初始、非最终不可约代数。这个单子的代数包含顺序、乘法、加法和补码，因此我们需要对概率进行许多操作。在技术层面上，我们利用Beck的单子性定理证明了在有界偏序集范畴上，（ω）-完全效应代数的范畴和（ω-完全效应幺半群的范畴都是单子的。然后，使用最近的\（\omega\）-完全效应半群的表示定理，很容易得出实单位区间的特征。整个系列见[Zbl 1522.68034]。