Deriving Dagger Compactness
arXiv:1907.05172 · doi:10.4204/EPTCS.318.11
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.
In Proceedings QPL 2019, arXiv:2004.14750
References in corpus (11)
- Informational derivation of Quantum Theory
- Probabilistic theories with purification
- Limited Holism and Real-Vector-Space Quantum Theory
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Categories of relations as models of quantum theory
- Dagger and Dilation in the Category of Von Neumann algebras
- Categorical Operational Physics
- A Categorical Reconstruction of Quantum Theory
- Purity through Factorisation
- Distinguishability and copiability of programs in general process theories
- Process-theoretic characterisation of the Hermitian adjoint