范畴概率中的膨胀与信息流公理

我们将马尔可夫范畴的正性公理与因果性公理作为膨胀与信息流的性质加以研究，并在任意半笛卡尔幺半群范畴的变体中考察这些性质。这些工作帮助我们表明，成为一个正马尔可夫范畴仅仅是一个对称幺半群范畴的附加性质（而非额外结构）。我们还刻画了可表示马尔可夫范畴的正性，并证明因果性蕴含正性，但反之不成立。最后，我们指出正性在准博雷尔空间上失效，并将此失效解释为概率性名称生成的隐私性质。