Presheaf Models of Quantum Computation: An Outline

DOI10.1007/978-3-642-38164-5_13zbMath1264.81119arXiv1302.5652OpenAlexW3104303419MaRDI QIDQ4922081

Peter Selinger, Octavio Malherbe, Philip J. Scott

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.5652

Mathematics Subject Classification ID

Quantum computation (81P68) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (8)

Classical control and quantum circuits in enriched category theory ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Semantics for a quantum programming language by operator algebras ⋮ Unnamed Item ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Models in quantum computing: a systematic review ⋮ Unnamed Item ⋮ Complete positivity and natural representation of quantum computations

Uses Software

• QPL

Cites Work

• Linear logic
• Notions of computation and monads
• A universal property of the convolution monoidal structure
• A note on full intuitionistic linear logic
• Completions of categories. Seminar lectures given 1966 in Zürich
• Monads on symmetric monoidal closed categories
• A reflection theorem for closed categories
• Strong functors and monoidal monads
• Categories of continuous functors. I
• Dagger Compact Closed Categories and Completely Positive Maps
• On a Fully Abstract Model for a Quantum Linear Functional Language
• Towards a quantum programming language
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
• A lambda calculus for quantum computation with classical control
• On closed categories of functors
• Note on monoidal localisation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Presheaf Models of Quantum Computation: An Outline