2019/07/31 by Sean Tull
Physics and Astronomy · Mathematics · #quant-ph #math.CT
paper · pdf · doi:10.4204/eptcs.318.11
published as EPTCS 318, 2020, pp. 181-195 · In Proceedings QPL 2019, arXiv:2004.14750
arxiv created 2020/05/01 · arxiv updated 2020/05/04
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.