Samson Abramsky, Richard Blute, Prakash Panangaden  Home/Search
Context Related
| sable.mcgill.ca/~prakash/nuclear.ps acaps.cs.mcgill.ca/~prakas...nuclear.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sable.mcgill.ca/~prakash/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored -categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called "probabilistic relations". The compact closed structure associated with the category of relations does not generalize directly, instead one obtains nuclear ideals. Most tensored -categories have a large class of morphisms which behave as if... (Update)
Context of citations to this paper: More
.... Has97b] Further discussions and applications of traced monoidal categories in the context of computer science are found in [Abr96, ABP98, BCS98]. As a precursor we note that Cazanescu and S tefanescu had the notion of biflows in mid 80s [CS88] whose axiomatization is...
.... Categories; 11] on cyclic structures and recursive computation; 14] on premonoidal categories, and mixed data and control ow graphs; [3] on nuclear and trace ideals, and probabilistic relations ; 4] on linearly distributive categories; 15] and [5] on relational models of...
Cited by: More
Categories of Circuits - Katis, Sabadini, Walters, Weld (1999) (Correct)
Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (Correct)
Active bibliography (related documents): More All
0.5: TQFTs from Homotopy n-types - Porter (1995) (Correct)
0.5: Spin Foam Perturbation Theory - Baez (1999) (Correct)
0.4: Discrete Quantum Causal Dynamics - Blute, Ivanov, Panangaden (2003) (Correct)
Similar documents based on text: More All
0.1: Thh(r) . . . - McClure, Schwänzl, Vogt (Correct)
0.1: Cohomology of Dowling Lattices and Lie (Super)algebras - Gottlieb, Wachs (1998) (Correct)
0.1: A Logical View Of Concurrent Constraint Programming - Mendler, Panangaden, Scott.. (1995) (Correct)
Related documents from co-citation: More All
2: The geometry of tensor calculus (context) - Joyal, Street - 1991
2: Traced monoidal categories (context) - Joyal, Street et al. - 1996
2: The synthesis of sequential switching circuits (context) - man - 1954
BibTeX entry: (Update)
Abramsky, S., Blute, R., and Panangaden, P. (1998), Nuclear and trace ideals in tensored *-categories, Manuscript. http://citeseer.ist.psu.edu/abramsky98nuclear.html More
@misc{ abramsky98nuclear,
author = "S. Abramsky and R. Blute and P. Panangaden",
title = "Nuclear and trace ideals in tensored *-categories",
text = "Abramsky, S., Blute, R., and Panangaden, P. (1998), Nuclear and trace ideals
in tensored *-categories, Manuscript.",
year = "1998",
url = "citeseer.ist.psu.edu/abramsky98nuclear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Blute, coherence - 1993
982 Theoretical Computer Science (context) - Girard - 1987
466 Probability and Measure (context) - Billingsley - 1995
328 Real and Complex Analysis (context) - Rudin - 1966
173 The Analysis of Linear Partial Differential Operators (context) - Hormander - 1990
99 volume 5 of Graduate texts in Mathematics (context) - Lane, the et al. - 1971
97 North-Holland (context) - Freyd, Scedrov et al. - 1990
75 Th'eorie des Distributions (context) - Schwartz - 1957
70 Real Analysis and Probability (context) - Ash - 1972
69 Geometry of interaction I: interpretation of system F (context) - Girard - 1988
52 Fundamentals of the Theory of Operator Algebras (context) - Kadison, Ringrose - 1983
52 Algebraic Approaches to Program Semantics (context) - Manes, Arbib - 1986
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
39 Retracing some paths (context) - Abramsky - 1996
32 An Extension of the Galois Theory of Grothendieck (context) - Joyal, Tierney - 1984
31 Journal of Pure and Applied Algebra (context) - Carboni, Walters - 1987
31 Higher-dimensional algebra and topological quantum field the.. - Baez, Dolan - 1995
29 Recursion from cyclic sharing: traced monoidal categories an.. - Hasegawa - 1997
26 Mathematical Proceedings of the Cambridge Philosophical Soci.. (context) - Joyal, Street et al. - 1996
20 A categorical approach to probability theory (context) - Giry - 1980
19 Topological quantum field theories (context) - Atiyah - 1989
19 The Geometry and Physics of Knots (context) - Atiyah - 1990
17 Braided compact closed categories with applications to low d.. (context) - Freyd, Yetter - 1989
16 Annals of Pure and Applied Logic (context) - Blute, Scott et al. - 1996
14 Higher-dimensional algebra II:2-Hilbert spaces - Baez - 1996
8 Tight Galois connections and complete distributivity (context) - Raney - 1960
8 Number 752 in Lecture Notes in Mathematics (context) - Barr, categories - 1980
7 The shuffle Hopf algebra and noncommutative full completenes.. - Blute, Scott - 1998
6 The definition of conformal field theory (context) - Segal - 1988
6 Methods of Mathematical Physics (context) - Reed, Simon - 1972
5 London Mathematical Society Student Texts (context) - Coutinho, of et al. - 1995
5 Nuclearity in the category of complete semilattices (context) - Higgs, Rowe - 1989
5 Topological quantum field theories associated to finite grou.. (context) - Yetter - 1993
5 Feedback for linearly distributive categories: traces and fi.. - Blute, Cockett et al. - 1998
5 Wadsworth and Brookes/Cole (context) - Dudley, Probability - 1989
4 A new duality theory for compact groups (context) - Doplicher, Roberts - 1989
3 Interpretations of Yetter's notion of G-coloring: simplicial.. - Porter - 1995
3 Disintegration and Compact Measures (context) - Pachl - 1978
1 Functorial Polymorphism Theoretical Computer Science (context) - Bainbridge, Freyd et al. - 1990
1 Dekker Pure and Applied Mathematics (context) - Albeverio, Hoegh-Krohn et al. - 1993
1 Effective taxonomies and crossed taxonomies (context) - Ageron - 1996
1 A generalization of the functorial calculus Journal of Algeb.. (context) - Eilenberg, Kelly - 1966
1 Products Tensoriels Topologiques et Espaces Nucleaires (context) - Grothendieck - 1955
1 On Measurably Indexed Families of Hilbert Spaces (context) - Wendt - 1993
1 Cahiers de Topologie et Geometrie Differentielle Categorique.. (context) - Wendt, of - 1994
1 Dinatural Transformations Springer Lecture Notes in Mathemat.. (context) - Dubuc, Street - 1970
1 First order axioms for concurrency (context) - Selinger - 1997
1 Number 10 in Pure and Applied Mathematics (context) - Dieudonne, Analysis et al. - 1988
1 Dekker Pure and Applied Mathematics (context) - Al-Gwaiz, Distributions - 1992
1 Trace Ideals and Their Applications Cambridge University Pre.. (context) - Simon - 1979
1 Logique lin'eaire: Une repr'esentation alg'ebrique du calcul (context) - Danos
1 Probability With a View Towards Applications - 2 volumes (context) - Hoffman-Jorgenson - 1994
1 Pure and Applied Mathematics (context) - Treves, Spaces et al. - 1967
1 Pacific Journal of Mathematics (context) - Ghez, Lima et al. - 1985
Documents on the same site (http://www.sable.mcgill.ca/~prakash/pubs.html): More
Nonexpressibility of Fairness and Signaling - McAllester, Panangaden.. (1990) (Correct)
Fock Space: A Model of Linear Exponential Types - Blute, Panangaden, Seely (1994) (Correct)
Bisimulation for Labeled Markov Processes - Blute, Edalat, al. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC