Mathematics – Category Theory
Scientific paper
1998-05-22
Mathematics
Category Theory
43 pages, Revised version
Scientific paper
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. We introduce the notion of nuclear ideal to analyze these classes of morphisms. In compact closed categories, we see that all morphisms are nuclear, and in the category of Hilbert spaces, the nuclear morphisms are the Hilbert-Schmidt maps. We also introduce two new examples of tensored *-categories, in which integration plays the role of composition. In the first, morphisms are a special class of distributions, which we call tame distributions. We also introduce a category of probabilistic relations which was the original motivating example. Finally, we extend the recent work of Joyal, Street and Verity on traced monoidal categories to this setting by introducing the notion of a trace ideal. For a given symmetric monoidal category, it is not generally the case that arbitrary endomorphisms can be assigned a trace. However, we can find ideals in the category on which a trace can be defined satisfying equations analogous to those of Joyal, Street and Verity. We establish a close correspondence between nuclear ideals and trace ideals in a tensored *-category, suggested by the correspondence between Hilbert-Schmidt operators and trace operators on a Hilbert space.
Abramsky Samson
Blute Richard
Panangaden Prakash
No associations
LandOfFree
Nuclear and Trace Ideals in Tensored *-Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Nuclear and Trace Ideals in Tensored *-Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Nuclear and Trace Ideals in Tensored *-Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-718872