关系结构上的量子概率效应体
计算机科学中的逻辑
2020-05-04 v1
摘要
来自范畴逻辑的效应体（effectus）概念在新兴的范畴概率论领域中具有相关性。在某些情况下，随机映射由某个概率单子的 Kleisli 范畴中的映射表示。来自组合学和量子信息论的量子同态是某种量子单子的 Kleisli 映射。我们证明该量子单子的 Kleisli 范畴是一个效应体。这产生了量子概率推理的概念，如谓词、有效性、条件化和信道。
引用
@article{arxiv.2005.00209,
title = {Effectus of Quantum Probability on Relational Structures},
author = {Octavio Zapata},
journal= {arXiv preprint arXiv:2005.00209},
year = {2020}
}
备注
In Proceedings QPL 2019, arXiv:2004.14750