Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classical Control, Quantum Circuits and Linear Logic 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,
such that the circuit language is embedded inside the host language. Our
categorical semantics for the host language is standard, and involves cartesian
closed categories and monads. We interpret the circuit language not in an
ordinary category, but in a category that is enriched in the host category. We
show that this structure is also related to linear/non-linear models. As an
extended example, we recall an earlier result that the category of W*-algebras
is dcpo-enriched, and we use this model to extend the circuit language with
some recursive types.

36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th