Classical control and quantum circuits in enriched category theory
We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language,...
Main Authors: | Rennela, M, Staton, S |
---|---|
Format: | Conference item |
Published: |
Elsevier
2018
|
Similar Items
-
Classical control, quantum circuits and linear logic in enriched category theory
by: Rennela, M, et al.
Published: (2020) -
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
by: Mathys Rennela, et al.
Published: (2020-03-01) -
Complete positivity and natural representation of quantum computations
by: Rennela, M, et al.
Published: (2015) -
Infinite-Dimensionality in Quantum Foundations: W*-algebras as
Presheaves over Matrix Algebras
by: Rennela, M, et al.
Published: (2017) -
A category of classical and quantum channels
by: Coecke, B, et al.
Published: (2012)