4 Jan
2010
4 Jan
'10
8:12 a.m.
John Baez wrote:
(The infinite-dimensional case would introduce extra wrinkles, like unbounded self-adjoint operators. It's possible that only after we treat this case correctly can we declare that we know what's going on. Perhaps trying to treat both unitary and self-adjoint operators as morphisms in the same category is simply a bad idea. There are a lot of options worth exploring.)
How about starting with rigged Hilbert space? If anything can restore your dagger that should. There's even a Wikipedia article on it; something on dagger categories would be a useful addition to that article. Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]