Axiomatising the dagger category of complex Hilbert spaces

Jan Paseka, Thomas Vetterlein

We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy…