## Nuclear and Trace Ideals in Tensored *-Categories (1998)

Citations: | 27 - 10 self |

### BibTeX

@MISC{Abramsky98nuclearand,

author = {Samson Abramsky and Richard Blute and Prakash Panangaden},

title = {Nuclear and Trace Ideals in Tensored *-Categories},

year = {1998}

}

### Years of Citing Articles

### OpenURL

### 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 they were part of a compact closed category, i.e. they allow one to transfer variables between the domain and the codomain. We introduce the notion of nuclear ideals to analyze these classes of morphisms. In compact closed tensored -categories, all morphisms are nuclear, and in the tensored -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, mor...