Deriving Dagger Compactness
Quantum Physics
2020-05-04 v2 Category Theory
Abstract
Dagger compact structure is a common assumption in the study of physical process theories, but lacks a clear interpretation. Here we derive dagger compactness from more operational axioms on a category. We first characterise the structure in terms of a simple mapping of states to effects which we call a 'state dagger', before deriving this in any category with 'completely mixed' states and a form of purification, as in quantum theory.
Cite
@article{arxiv.1907.05172,
title = {Deriving Dagger Compactness},
author = {Sean Tull},
journal= {arXiv preprint arXiv:1907.05172},
year = {2020}
}
Comments
In Proceedings QPL 2019, arXiv:2004.14750