On the functor l2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7860 LNCS, Issue , 2013, Pages 107-121

  Heunen, Chris ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADJOINTS; ALGEBRAIC DOMAINS; FUNCTORS; HOMSETS; LINEAR MAPS; MONOIDAL STRUCTURE; PARTIAL ISOMETRY;

HILBERT SPACES; VECTOR SPACES;

COMPUTATION THEORY;

EID: 84893498094     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38164-5_8     Document Type: Article

References (25)

1. Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 1-17. Springer, Heidelberg (1996)
2. Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored categories. Journal of Pure and Applied Algebra 143, 3-47 (1999)
3. Abramsky, S., Heunen, C.: H-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. In: Abramsky, S., Mislove, M. (eds.) Clifford Lectures. Proceedings of Symposia in Applied Mathematics, vol. 71, pp. 1-24. American Mathematical Society (2012)
4. Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1-168. Oxford University Press (1994)
5. Adámek, J., Rosicky, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press (1994)
6. Barr, M.: Algebraically compact functors. Journal of Pure and Applied Algebra 82, 211-231 (1992)
7. Bousfield, A.K.: Constructions of factorization systems in categories. Journal of Pure and Applied Algebra 9(2-3), 207-220 (1977)
8. Robin, J., Cockett, B., Lack, S.: Restriction categories I: categories of partial maps. Theoretical Computer Science 270(1-2), 223-259 (2002)
9. Danos, V., Regnier, L.: Proof-nets and the Hilbert space. In: Advances in Linear Logic, pp. 307-328. Cambridge University Press (1995)
10. Freyd, P., Kelly, M.: Categories of continuous functors I. Journal of Pure and Applied Algebra 2 (1972)
11. Grandis, M., Tholen, W.: Natural weak factorization systems. Archivum Mathematicum 42, 397-408 (2006)
12. Haghverdi, E.: A categorical approach to linear logic, geometry of proofs and full completeness. PhD thesis, University of Ottawa (2000)
13. Haghverdi, E., Scott, P.: A categorical model for the geometry of interaction. Theoretical Computer Science 350, 252-274 (2006)
14. Halmos, P.: A Hilbert space problem book, 2nd edn. Springer (1982)
15. Heunen, C.: An embedding theorem for Hilbert categories. Theory and Applications of Categories 22(13), 321-344 (2009)
16. Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Order 27(2), 177-212 (2010)
17. Hines, P.: The algebra of self-similarity and its applications. PhD thesis, University of Wales (1997)
18. Hines, P.: Quantum circuit oracles for abstract machine computations. Theoretical Computer Science 411(11-13), 1501-1520 (2010)
19. Hines, P., Braunstein, S.L.: The structure of partial isometries. In: Semantic Techniques in Quantum Computation, pp. 361-389. Cambridge University Press (2009)
20. Kadison, R.V., Ringrose, J.R.: Fundamentals of the theory of operator algebras. Academic Press (1983)
21. Korostenski, M., Tholen, W.: Factorization systems as Eilenberg-Moore algebras. Journal of Pure and Applied Algebra 85(1), 57-72 (1993)
22. Lawson, M.V.: Inverse semigroups: the theory of partial symmetries. World Scientific (1998)
23. Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer (1971)
24. Reed, M., Simon, B.: Methods of Modern Mathematical Physics. Functional Analysis, vol. I. Academic Press (1972)
25. Rosicky, J., Tholen, W.: Lax factorization algebras. Journal of Pure and Applied Algebra 175, 355-382 (2002)