nLab
Hilb

HilbHilb

Definition

HilbHilb is the category whose object are Hilbert spaces and whose morphisms are short linear maps (linear maps of norm at most 11) between these.

We can also take HilbHilb to be the dagger category with the same object but whose morphisms are now all bounded linear maps between them. (The dagger operation is the usual adjoint operation on such maps.) The full subcategory FinHilbFin Hilb of finite-dimensional Hilbert spaces becomes a dagger compact category.

Note that either way, the core (of isomorphisms in the first case, or of unitary isomorphisms in the other case) is the same groupoid, whose morphisms are all invertible linear maps of norm exactly 11.

In any case, the forgetful functor from HilbHilb to Vect is faithful, confirming the intuition that a Hilbert space is a vector space equipped with extra structure. HilbHilb is also a full subcategory of Ban, the category of Banach spaces.

References

A pedagogical description of the monoidal structure on HilbHilb with an emphasis on their role in quantum mechanics and their relation to nCob is in

  • John Baez, The monoidal category of Hilbert spaces (web)

category: category

Revised on August 16, 2012 19:43:41 by Toby Bartels (98.19.44.121)