H*-algebras and nonunital Frobenius algebras: first steps in
infinite-dimensional categorical quantum mechanics
Abramsky, S
Heunen, C
AMS Proceedings of Symposia in Applied
Mathematics
volume 71
1-24
(29 Nov 2010)
http://arxiv.org/abs/1011.6123v3
infinite-dimensional categorical quantum mechanics