Nuclear and trace ideals in tensored *-categories

Journal of Pure and Applied Algebra

Volumn 143, Issue 1-3, 1999, Pages 3-47

  Abramsky, Samson ^a   Blute, Richard ^b   Panangaden, Prakash ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF OTTAWA   (Canada)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033544206     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00106-6     Document Type: Article

References (60)

1. S. Abramsky, Retracing some paths in process algebra, in: Montanari, Sassone (Eds.), Proc. CONCUR 96, Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, 1996, pp. 1-17.
2. S. Abramsky, S. Gay, R. Nagarajan, Interaction categories and foundations of typed concurrent programming, in: M. Broy (Ed.), Deductive Program Design: Proc. Marktoberdorf Internat. Summer School, NATO ASI Series F, Springer, Belin, 1994. Also available as theory/papers/Abramsky/marktoberdorf.ps.gz via anonymous ftp to theory.doc.ic.ac.uk.
3. S. Abramsky, R. Jagadeesan, New foundations for the geometry of interaction, Inform. Comput. 111(1) (1994) 53-119.
4. S. Abramsky, R. Jagadeesan, Games and full completeness for multiplicative linear logic, J. Symbolic Logic 59(2) (1994) 543-574.
5. P. Ageron, Effective taxonomies and crossed taxonomies, Cahiers Top. Geom. Diff. 37 (1996) 82-90.
6. S. Albeverio, R. Hoegh-Krohn, J. Marion, D. Testard, B. Torrésani, Noncommutative Distributions, Pure and Applied Mathematics, Dekker, New York, 1993.
7. M.A. Al-Gwaiz, Theory of Distributions, Pure and Applied Mathematics, Dekker, New York, 1992.
8. R.B. Ash, Real Analysis and Probability, Academic Press, New York, 1972.
9. M. Atiyah, Topological quantum field theories, Publ. Math. Inst. Hautes Etudes Sci. Paris 68 (1989) 175-186.
10. M. Atiyah, The Geometry and Physics of Knots, Cambridge University Press, Cambridge, 1990.
11. J. Baez, Higher-dimensional Algebra II:2-Hilbert Spaces, preprint, 1996.
12. J. Baez, J. Dolan, Higher-dimensional algebra and topological quantum field theory, J. Math. Phys. 36 (1995) 6073-6105.
13. E. Bainbridge, P. Freyd, A. Scedrov, P. Scott, Functorial polymorphism, Theoret. Comput. Sci. 70 (1990) 35-64.
14. M. Barr, *-Autonomous categories, Lecture Notes in Mathematics, vol. 752, Springer, Berlin, 1980.
15. P. Billingsley, Probability and Measure, Wiley-Interscience, New York, 1995.
16. R. Blute, Linear logic, coherence and dinaturality, Theoret. Comput. Sci. 115 (1993) 3-41.
17. R. Blute, J.R.B. Cockett, R.A.G. Seely, Feedback for Linearly Distributive Categories: Traces and Fixed Points, 1998, in preparation.
18. R. Blute, P. Scott, Linear läuchli semantics, Ann. Pure Appl. Logic 77 (1996) 101-142.
19. R. Blute, P. Scott, The shuffle Hopf algebra and noncommutative full completeness, J. Symbolic Logic, 1998, to appear.
20. A. Carboni, R.F.C. Walters, Cartesian bicategories I, J. Pure Appl. Algebra 49 (1987) 11-32.
21. S. Coutinho, A Primer of Algebraic Script -modules, London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 1995.
22. V. Danos, Logique Linéaire: Une Représentation Algébrique du Calcul, preprint.
23. J. Dieudonne, Treatise on Analysis - VII, Pure and Applied Mathematics, vol. 10, Academic Press, New York, 1988.
24. S. Doplicher, J. Roberts, A new duality theory for compact groups, Invent. Math. 98 (1989) 157-218.
25. E. Dubuc, R. Street, Dinatural transformations, Lecture Notes in Mathematics, Vol. 137, Springer, Berlin, 1970.
26. R.M. Dudley, Real Analysis and Probability, Wadsworth and Brookes/Cole, Belmont, CA, 1989.
27. S. Eilenberg, G.M. Kelly, A generalization of the functorial calculus, J. Algebra 3 (1966) 366-375.
28. P.J. Freyd, A. Scedrov, Categories, Allegories, North-Holland, Amsterdam, 1990.
29. P. Freyd, D. Yetter, Braided compact closed categories with applications to low dimensional topology, Adv. Math. 77 (1989) 156-182.
30. P. Ghez, R. Lima, J. Roberts, W*-categories, Pacific J. Math. 120 (1985) 79-109.
31. J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 50 (1987) 1-102.
32. J.Y. Girard, Geometry of interaction I: Interpretation of system F, Proc. ASL Meeting, Padova, 1988.
33. M. Giry, A categorical approach to probability theory, in: B. Banaschewski (Ed.), Proc. Conf. on Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics, vol. 915, Springer, Berlin, 1980, pp. 68-85.
34. A. Grothendieck, Products Tensoriels Topologiques et Espaces Nucleaires, AMS Memoirs, American Mathematical Society, Providence, RI, 1955.
35. E. Haghverdi, Thesis, 1998, in preparation.
36. P. Halmos, Measure Theory, Graduate Texts in Mathematics, vol. 18, Springer, Berlin, 1974, originally published in 1950.
37. M. Hasegawa, Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi, Lecture Notes in Computer Science, vol. 1210, Springer, Berlin, 1997, pp. 196-213.
38. D.A. Higgs, K. Rowe, Nuclearity in the category of complete semilattices, J. Pure and Appl. Algebra 57 (1989) 67-78.
39. J. Hoffman-Jörgenson, Probability with a View Towards Applications - 2 Volumes, Chapman and Hall, London, 1994.
40. L. Hörmander, The Analysis of Linear Partial Differential Operators I, Grundlehren der Mathematischen Wissenschaften, vol. 256, Springer, Berlin, 1990.
41. A. Joyal, R. Street, D. Verity, Traced monoidal categories, Math. Proc. Cambridge Philosophical Society 119 (1996) 425-446.
42. A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, Memoirs of the AMS, American Mathematical Society, Providence, RI, 1984.
43. R. Kadison, J. Ringrose, Fundamentals of the Theory of Operator Algebras, Academic Press, New York, 1983.
44. S. Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics, vol. 5, Springer, New York, 1971.
45. P. Malliavin, Integration and probability, Graduate Texts in Mathematics, vol. 157, Springer, Berlin, 1995. French edition appeared in 1993.
46. E. Manes, M. Arbib, Algebraic Approaches to Program Semantics, Springer, Berlin, 1986.
47. J. Pachl, Disintegration and compact measures, Math. Scand. 43 (1978) 157-168.
48. T. Porter, Interpretations of Yetter's Notion of G-coloring: Simplicial Fibre Bundles and Nonabelian Cohomology, preprint, 1995.
49. G. Raney, Tight Galois connections and complete distributivity, Trans. Amer. Math. Soc. 97 (1960) 418-426.
50. M. Reed, B. Simon, Functional analysis, Methods of Mathematical Physics, vol. I, Academic Press, New York, 1972.
51. K.A. Rowe, Nuclearity, Canad. Math. Bull. 31(2) (1988) 227-235.
52. W. Rudin, Real and Complex Analysis, McGraw-Hill, New York, 1966.
53. L. Schwartz, Théorie des Distributions, Hermann, Paris, 1957.
54. G. Segal, The definition of conformal field theory, in: K. Bleuler, M. Werner (Eds.), Differential Geometric Methods in Theoretical Physics, Kluwer Academic Publishers, Dordrecht, 1988, pp. 165-171.
55. P. Selinger, First order axioms for concurrency, in: Proc. CONCUR 97, Lecture Notes in Computer Science, vol. 1243, Springer, Berlin, 1997.
56. B. Simon, Trace Ideals and their Applications, Cambridge University Press, Cambridge, 1979.
57. F. Treves, Topological Vector Spaces, Distributions and Kernels, Pure and Applied Mathematics, vol. 25, Academic Press, New York, 1967.
58. M. Wendt, On Measurably Indexed Families of Hilbert Spaces, Ph.D. Thesis, Dalhousie University, 1993.
59. M. Wendt, The category of disintegrations, Cahiers de Topologie et Geometrie Differentielle Categoriques 35 (1994) 291-308.
60. D. Yetter, Topological quantum field theories associated to finite groups and crossed G-sets, J. Knot Theory Ramifications 2 (1993) 113-123.