  We provide axioms that guarantee a category is equivalent to that of
continuous linear functions between Hilbert spaces. The axioms are purely
categorical and do not presuppose any analytical structure. This addresses a
question about the mathematical foundations of quantum theory raised in
reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron,
Abramsky, and Coecke.
