An embedding theorem for hilbert categories

Theory and Applications of Categories

Volumn 22, Issue , 2009, Pages 321-344

  Heunen, Chris ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

(pre )Hilbert category; Embedding; Monoidal Abelian category

Indexed keywords

EID: 67651100782     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. Abramsky, S. (2005). Abstract scalars, loops, and free traced and strongly compact closed categories. In Algebra and Coalgebra in Computer Science, Springer, 1-30.
2. Abramsky, A. & Coecke, B. (2004). A categorical semantics of quantum protocols. Logic in Computer Science 19, 415-425, IEEE Computer Society.
3. Ash, R.B. (2000). Abstract Algebra: the basic graduate year. http://www.math.uiuc.edu/r-ash
4. Amemiya & Araki, (1966) A remark on Piron's paper. Publications of the Research Institute for Mathematical Sciences A2, 423-427.
5. Aubin, J.-P. (2000). Applied Functional Analysis. 2nd edition, Wiley In-terscience.
6. Baez, J.C. (1997). Higher-Dimensional Algebra II: 2-Hilbert Spaces. Advances in Mathematics 127, 125-189.
7. Barr, M. (1999).*-autonomous categories: once more around the track. Theory and Applications of Categories 6, 5-24.
8. Borceux, F. (1994). Handbook of Categorical Algebra. Encyclopedia of Mathematics and its Applications 50 and 51, Cambridge University Press.
9. Chang, C. C. & Keisler, H. J. (1990) Model Theory, third edition. North-Holland.
10. Deligne, P. (1990). The Grothendieck Festschrift vol. 2, chapter Categories tannakiennes, pp. 111-195. Birkhauser.
11. Doplicher, S. & Roberts, J. E. (1989). A new duality theory for compact groups. Inventiones Mathematicae 98, 157-218.
12. Freyd, P. (1964). Abelian Categories: An introduction to the theory of functor. Harper and Row.
13. Gelfand, I. M. & Naimark, M. A. (1943). On the imbedding of normed rings into the ring of operators on a Hilbert space. Matematicheskii Sbornik 12: 3-20.
14. Ghez, P., Lima, R. & Roberts, J. E. (1985). W*-categories. Pacific Journal of Mathematics 120, 79-109.
15. Golan, J. S. (1999). Semirings and their Applications. Kluwer.
16. Grillet, P. A. (2007). Abstract Algebra, second edition. Graduate Texts in Mathematics 242, Springer.
17. Hai, P. H. (2002). An embedding theorem for Abelian monoidal categories. Compositio Mathematica 132, 27-48.
18. Halvorson, H. & Muger, M. (2007). Algebraic quantum field theory. In Handbook of the Philosophy of Physics, 731-922, North Holland.
19. Heunen, C. (2008). Semimodule enrichment. In the proceedings of MFPS 24, Electronic Notes in Theoretical Computer Science 218, 193-208.
20. Kapranov, M. & Voevodsky, V. (1994). 2-categories and Zamolodchikov tetrahedra equations. In Algebraic groups and their generalizations: quantum and infinite-dimensional methods. Proceedings of Symposia in Pure Mathematics 56(2):177-259, American Mathematical Society.
21. Lance, E. C. (1995). Hilbert C*-modules. Number 210 in London Mathematical Society Lecture Note Series, Cambridge University Press.
22. Lubkin, S. (1960). Imbedding of Abelian categories. Transactions of the American Mathematical Society 97, 410-417.
23. Mitchell, B. (1965). Theory of Categories. Academic Press.
24. Paseka, J. (1999). Hilbert Q-modules and Nuclear Ideals. In the proceedings of the Eighth Conference on Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science vol. 129, pp. 1-19.
25. Reed, M. & Simon, B. (1972). Methods of Modern Mathematical Physics, Vol I: Functional Analysis. Academic Press.
26. Selinger, P. (2008). Dagger compact closed categories and completely positive maps. In the proceedings of QPL 3. Electronic Notes in Theoretical Computer Science 170: 139-163, Elsevier.
27. Selinger, P. (2008). Finite dimensional Hilbert spaces are complete for dagger compact closed categories. In the proceedings of QPL 5.
28. Selinger, P. (2008). Idempotents in dagger categories. In the proceedings of QPL 4. Electronic Notes in Theoretical Computer Science 210: 107-122, Elsevier.
29. Soler, M. P. (1995). Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra 23, 219-243.
30. Vicary, J. (2008). Categorical properties of the complex numbers. arXiv:math/0807.2927.