截面纠缠：纠缠量子信息与参数化量子信息的推挽

Freedman 与 Hastings（2023）提出的一个问题仍然悬而未决：构建一种数学理论，通过沿裸量子（信息）理论将量子纠缠/张量结构与参数化/丛结构进行合并（一种假想的推挽）来统一二者——该问题由量子态空间向量丛在拓扑物相的 K 理论分类中所起的作用所驱动。在此我们给出该问题的一个可能回答。为此，我们首先在幺半群范畴论中精确化相关推挽图的一种形式。在问题由此形式化后，我们着手计算该推挽并证明它给出众所周知的向量丛/K 类上的外张量积，或更确切地说平坦此类丛（平坦 K 理论）上的外张量积，即配备编码拓扑 Berry 相的单调性的那些。外张量积近期在拓扑物相背景下以及我们通过量子编程理论的工作被强调，但在量子理论中尚未得到应有的关注。