Deriving Dagger Compactness

MaRDI QIDQ6321926arXivFDO

Authors Sean Tull

Publication date 11 July 2019

Published in arXiv

Mathematics Subject Classification ID

Dagger categories, categorical quantum mechanics (18M40) Quantum state spaces, operational and probabilistic concepts (81P16)

arXiv classification

math.CTquant-ph

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.

This page was built for publication: Deriving Dagger Compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6321926)