Presheaf models of quantum computation: an outline
arXiv:1302.5652 · doi:10.1007/978-3-642-38164-5_13
Abstract
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day's convolution theory and Kelly and Freyd's notion of continuity of functors. We first give an abstract description of the properties required of the base categories for the model construction to work. We then exhibit a specific example of base categories satisfying these properties.
17 pages
Cited by in corpus (6)
- Theoretical framework for Higher-Order Quantum Theory
- Semantics for a Quantum Programming Language by Operator Algebras
- Realizability in the Unitary Sphere
- Quantum Control Machine: The Limits of Control Flow in Quantum Programming
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras