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.