Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Nuclear and Trace Ideals in Tensored \LambdaCategories Samson Abramsky \Lambda
 

Summary: Nuclear and Trace Ideals in Tensored \Lambda­Categories
Samson Abramsky \Lambda
Department of Computer Science
University of Edinburgh
Edinburgh, Scotland
Richard Blute y
Department of Mathematics and Statistics
University of Ottawa
Ottawa, Ontario, Canada
Prakash Panangaden z
Department of Computer Science
McGill University
Montreal, Quebec, Canada
June 8, 1998
Presented to Mike Barr on the occasion of his 60th birthday.
Abstract
We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals
in tensored \Lambda­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

  

Source: Abramsky, Samson - Computing Laboratory, University of Oxford
Panangaden, Prakash - School of Computer Science, McGill University

 

Collections: Computer Technologies and Information Sciences; Mathematics