dr. Bas Westerbaan

github scholar

A computer scientist's reconstruction of quantum theory

23 Sep 2021 [ eprint ]

Are there nice assumptions on a category such that any such category must be a category of quantum types with quantum programs between them?

We give an answer with three desirable properties: we include infite data types; we do not presuppose the real or complex numbers and we allow for mixed classical/quantum types.