量子科技中心_量科网

该研究团队探索了分别基于因果性约束和组合性约束的现有高阶量子理论构造在何种意义上相吻合。具体而言，研究人员构建了一个从高阶因果范畴到一阶因果过程上强profunctor范畴的函子F : Caus(C) -> StProf(C1)，该函子在C为加法范畴时具有lax-lax双幺半、完全、忠实且强闭的性质。当C=CP（完全正映射范畴）时，该嵌入进一步在双幺半范畴的序列器上表现出强性质，这表明可以通过profunctor的余积分演算来解释单向信号传递（但非一般非信号传递）约束。该工作得出结论：只要组合性约束可用于表达因果性约束，profunctor方法就能将高阶量子理论推广至一般对称幺半范畴上的构造。