Categories of quantum and classical channels
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 58246605
- Type
- D - Journal article
- DOI
-
10.1007/s11128-014-0837-4
- Title of journal
- Quantum Information Processing
- Article number
- -
- First page
- 5179
- Volume
- 15
- Issue
- 12
- ISSN
- 1570-0755
- Open access status
- Out of scope for open access requirements
- Month of publication
- October
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
C - Foundations of Computation
- Citation count
- 24
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Justifies the standard categorical framework for quantum theory by extending it from pure states to probabilistic mixtures without leaving the framework, and linking the standard categorical and algebraic approaches. Puts quantum and classical channels on equal footing, and incorporates elegant notions of preparation and measurement. Operationally justifies nonstandard models. Has become standard construction, used in textbooks (Coecke and Kissinger 2017, Heunen and Vicary 2019) and many works in categorical quantum theory, logic, and natural language processing, including resource theory and effectus theory. Early version published in QPL, the flagship international conference on the latest advances in quantum programming languages.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -