量子科技中心_量科网

该研究团队为（严格）高阶电路图建立了一系列基本定律。具体而言，他们通过以下要素定义高阶电路理论：(a) 嵌套结构，(b) 时间与空间组合关系，以及 (c) 低阶二分过程与高阶二分态之间的等价性。在范畴论框架下，这些定律通过对称多元范畴中的富集与余张量运算来表达，并辅以类Frobenius的协调关系。该工作阐释了这些定律如何捕捉高阶量子理论的核心特征，并发现了高阶电路的上界：任何高阶电路理论均可嵌入强profunctor理论之中。