论文标题
量子概率对关系结构的有效
Effectus of Quantum Probability on Relational Structures
论文作者
论文摘要
分类逻辑的效力概念与分类概率理论的新兴领域有关。在某些情况下，随机图由某些概率单元的Kleisli类别中的地图表示。来自组合和量子信息理论的量子同态是某些量子单元的kleisli图。我们表明，该量子单元的Kleisli类别是一种效果。这引起了量子概率推理的概念，作为谓词，有效性，条件和通道。
The notion of effectus from categorical logic is relevant in the emerging field of categorical probability theory. In some cases, stochastic maps are represented by maps in the Kleisli category of some probability monad. Quantum homomorphisms from combinatorics and quantum information theory are the Kleisli maps of certain sort of quantum monad. We show that the Kleisli category of this quantum monad is an effectus. This gives rise to notions of quantum probabilistic reasoning as predicates, validity, conditioning, and channels.
