亚历克斯·基辛格;桑德·尤伊伦 因果结构的范畴语义。 （英语） Zbl 1442.68146号 日志。方法计算。科学。 15，第3号，第15号论文，48页（2019年）. 摘要：我们提出了一种分类结构，用于在包括经典概率过程理论和量子理论的一般过程理论中建模因果结构。与范畴量子力学中的先前构造不同，该理论的对象编码了子系统之间的细粒度因果关系，并提供了一种新的方法来表示和推导一类广泛因果结构的结果。我们表明，该框架使我们能够定义与任意非循环因果顺序一致的过程族。特别是，可以定义单向信令（也称为半因果）过程、非信令过程和量子梳。此外，我们的框架足够通用，可以容纳最近提出的经典和量子理论的推广，其中过程只需要局部具有固定的因果顺序，而全局允许不确定的因果顺序。为了说明这一点，我们证明了这类过程，例如量子开关，Oreshkov、Costa和Brukner的过程矩阵，以及Baumeler、Feix和Wolf的经典三方示例，都是我们称之为“（mathrm{SOC}_n\)在高阶因果过程的适当类别中。在我们的框架内定义了这些因果结构家族之后，我们使用简单的图解公理推导了它们的操作行为。 引用于5文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03G30型 分类逻辑，拓扑 18立方厘米50 形式语言的范畴语义 第81页，共16页 量子状态空间、操作和概率概念 PDF格式BibTeX公司 XML格式引用 \textit{A.基辛格}和\textit{S.Uijlen}，Log。方法计算。科学。15，第3号，第15号论文，48页（2019年；Zbl 1442.68146） 全文： arXiv公司 参考文献： [1] 39 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。