导出dagger紧结构
量子物理
2020-05-04 v2 范畴论
摘要
Dagger 紧结构是物理过程理论研究中的常见假设，但缺乏清晰的解释。在此我们从一个范畴上更具操作性的公理导出 dagger 紧结构。我们首先用一种我们称之为“态 dagger”的态到效应的简单映射来刻画该结构，随后在任一具有“完全混合”态与某种纯化形式（如量子理论中）的范畴中导出它。
引用
@article{arxiv.1907.05172,
title = {Deriving Dagger Compactness},
author = {Sean Tull},
journal= {arXiv preprint arXiv:1907.05172},
year = {2020}
}
备注
In Proceedings QPL 2019, arXiv:2004.14750