Dagger 紧闭范畴与完全正映射

论文信息（2007，ENTCS；早期版本发表于 QPL 2005）：Peter Selinger。DOI；作者论文页

工作

本文研究如何从描述纯态量子过程的 dagger 紧闭范畴构造出描述混合态和噪声过程的模型。核心是 CPM construction：它把一个 dagger 紧闭范畴映射到完全正映射范畴，使密度算子、混合态和开放系统过程能够纳入同一图形化、组合式语义。

主要贡献

• 给出从纯态范畴到完全正映射范畴的 CPM 构造。
• 将 dagger 紧闭范畴的协议语义推广到混合态量子计算。
• 说明完全正映射如何与图形化推理和量子协议组合。
• 为量子编程语义中的噪声、丢弃和开放系统提供抽象基础。

局限与适用范围

CPM 构造是语义构造，不是噪声校准、硬件编译器或性能模型。抽象范畴必须选定具体对象、标量和经典结构后，才能解释某个实现；完全正映射的表达能力也不自动给出高效算法或机器检查证明。

与其他工作的关系

本文延伸了 量子协议的范畴语义 的纯态协议视角，并为 指称语义 中的完全正映射模型提供重要背景。它也可与 QML 的函数式范畴语义对照：QML 关注语言构造，CPM 关注从纯态到混合态过程的语义扩展。

原论文

Peter Selinger, Dagger Compact Closed Categories and Completely Positive Maps, Electronic Notes in Theoretical Computer Science 170, 139–163 (2007), DOI: 10.1016/j.entcs.2006.12.018. 作者论文页