Categorical Formulation of Finite-Dimensional Quantum Algebras

Communications in Mathematical Physics

Volumn 304, Issue 3, 2011, Pages 765-796

  Vicary, Jamie ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79955752480     PISSN: 00103616     EISSN: 14320916     Source Type: Journal    
DOI: 10.1007/s00220-010-1138-0     Document Type: Article

References (34)

1. Abrams L.: Two-dimensional topological quantum field theories and Frobenius algebras. J. Knot Theory and Ram. 5, 569-587 (1996).
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, Washington, DC. IEEE Computer Science Press, 2004, pp. 415-425.
3. Abramsky S., Coecke B.: Abstract physical traces. Theory and Appl. Cat. 14(6), 111-124 (2005).
4. Abramsky, S., Coecke, B.: Handbook of Quantum Logic and Quantum Structures. Volume 2, Chapter Categorical Quantum Mechanics. Maryland Heights, MO: Elsevier, 2008.
5. Abramsky, S., Heunen, C.: Classical structures in infinite-dimensional categorical quantum mechanics. In preparation, 2010.
6. Baez J. C.: Higher-dimensional algebra II: 2-Hilbert spaces. Adv. Math. 127, 125-189 (1997).
7. Baez J. C.: Structural Foundations of Quantum Gravity. Chapter Quantum Quandaries: A Category-Theoretic Perspective, pp. 240-265. Oxford University Press, Oxford (2006).
8. Bakalov B., Kirillov A.: Lectures on Tensor Categories and Modular Functors. Amer. Math. Soc., Providence, RI (2001).
9. Barrett J. W., Westbury B. W.: Spherical categories. Adv. in Math. 143(2), 357-375 (1999).
10. Coecke, B., Edwards, B.: Toy quantum categories. In: Quantum Physics and Logic 2008, Electronic Notes in Theoretical Computer Science, 2008. To appear.
11. Coecke, B., Pavlovic, D.: The Mathematics of Quantum Computation and Technology, Chapter Quantum Measurements Without Sums. Oxford-NewYork: Taylor and Francis, 2006.
12. Coecke, B., Pavlovic, D., Vicary, J.: Dagger-Frobenius algebras in FdHilb are orthogonal bases. Technical Report, RR-08-03, Oxford Univ. Computing Lab., 2008.
13. Day B., McCrudden P., Street R.: Dualizations and antipodes. Appl. Categ. Struct. 11, 229-260 (2003).
14. Doplicher S., Roberts J. E.: A new duality theory for compact groups. Invent. Math. 98, 157-218 (1989).
15. Döring, A., Isham, C.: New Structures in Physics, Chapter 'What is a Thing?': Topos Theory in the Foundations of Physics. 2008, available at http://arxiv. org/abs/0803. 0417 [quant-ph], 2008.
16. Fukuma M., Hosono S., Kawai H.: Lattice topological field theory in two dimensions. Commun. Math. Phys. 161(1), 157-175 (1994).
17. Halvorson H., Müger M.: Handbook of the Philosophy of Physics, Chapter Algebraic quantum field theory. Amsterdam: North Holland, 2006.
18. Joyal A., Street R.: The geometry of tensor calculus I. Adv. in Math. 88, 55-112 (1991).
19. Kassel, C.: Quantum Groups. Volume 155 of Graduate Texts in Mathematics. Berlin-Heidelberg- NewYork: Springer-Verlag, 1995.
20. Kock J.: Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press, Cambridge (2004).
21. Lauda A. D., Pfeiffer H.: State sum construction of two-dimensional open-closed topological quantum field theories. J. Knot Theory and Ram. 16, 1121-1163 (2007).
22. Lauda A. D., Pfeiffer H.: Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras. Topology and Appl. 155(7), 623-666 (2008).
23. Longo R., Roberts J. E.: A theory of dimension. K-Theory 11, 103-159 (1997).
24. Mac Lane S.: Categories for the Working Mathematician 2nd ed. Springer, Berlin-Heidelberg-NewYork (1997).
25. Mac Lane S., Moerdijk I.: Sheaves in Geometry and Logic. Springer, Berlin-Heidelberg-NewYork (1992).
26. McLarty C.: Elementary Categories, Elementary Toposes. Oxford University Press, Oxford (1995).
27. Müger M.: From subfactors to categories and topology I. Frobenius algebras in and morita equivalence of tensor categories. J. Pure and Appl. Alg. 180, 81-157 (2003).
28. Murphy G. J.: C*-Algebras and Operator Theory. Academic Press, London-NewYork (1990).
29. Quinn, F.: Geometry and Quantum Field Theory (Park City, UT, 1991), Chapter Lectures on Axiomatic Topological Quantum Field Theory, Providence, RI: Amer. Math. Soc., 1995, pp. 323-453.
30. Selinger, P.: Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Lect. Notes in Theor. Comp. Sci. 170, 139-163 (2007).
31. Street R.: Frobenius monads and pseudomonoids. J. Math. Phys. 45, 3930-3948 (2004).
32. Turaev, V.: Quantum Invariants of Knots and 3-Manifolds, Volume 18 of de Gruyter Studies in Mathematics. Berlin: Walter de Gruyter, 1994.
33. Vicary, J.: Completeness of dagger-categories and the complex numbers. J. Math. Phys., 2010. To appear.
34. Zito P.: 2-C*-categories with non-simple units. Adv. in Math. 210, 122-164 (2007).