TY - JOUR AU - Abramsky, S. AU - Blute, R. AU - Panangaden, P. PY - 1999 DA - 1999// TI - Nuclear and trace ideals in tensored*-categories JO - J Pure Appl Algebra VL - 143 UR - https://doi.org/10.1016/S0022-4049(98)00106-6 DO - 10.1016/S0022-4049(98)00106-6 ID - Abramsky1999 ER - TY - STD TI - Barr M (1979) $$*$$∗-Autonomous categories. Lecture notes in mathematics, vol. 752. Springer, Berlin ID - ref2 ER - TY - STD TI - Bernstein J (1990) Trace in categories. Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989), 417–423, Progr. Math., 92, Birkhäuser Boston, Boston, MA ID - ref3 ER - TY - STD TI - Grothendieck A (1955) Products Tensoriels Topologiques et Espaces Nucléaires. AMS Memoirs 16. AMS ID - ref4 ER - TY - STD TI - Haghverdi E (2000) A vategorical approach to linear logic, geometry of proofs and full completeness, Ph.D. thesis, University of Ottawa ID - ref5 ER - TY - STD TI - Haghverdi E, Scott PJ (2010) Geometry of interaction and dynamics of proof reduction: a tutorial. In: Coecke B (ed) New structures for physics. Lecture notes in physics. Springer, Berlin, pp 339–397 ID - ref6 ER - TY - JOUR AU - Haghverdi, E. AU - Scott, P. J. PY - 2010 DA - 2010// TI - Towards a typed geometry of interaction JO - Math Struct Comput Sci VL - 20 UR - https://doi.org/10.1017/S096012951000006X DO - 10.1017/S096012951000006X ID - Haghverdi2010 ER - TY - JOUR AU - Higgs, D. A. AU - Rowe, K. PY - 1989 DA - 1989// TI - Nuclearity in the category of complete semilattices JO - J Pure Appl Algebra VL - 57 UR - https://doi.org/10.1016/0022-4049(89)90028-5 DO - 10.1016/0022-4049(89)90028-5 ID - Higgs1989 ER - TY - JOUR AU - Joyal, A. AU - Street, R. AU - Verity, D. PY - 1996 DA - 1996// TI - Traced monoidal categories JO - Math Proc Camb Philos Soc VL - 119 UR - https://doi.org/10.1017/S0305004100074338 DO - 10.1017/S0305004100074338 ID - Joyal1996 ER - TY - JOUR AU - Kock, A. PY - 1972 DA - 1972// TI - Strong functors and monoidal monads JO - Arch Math VL - 23 UR - https://doi.org/10.1007/BF01304852 DO - 10.1007/BF01304852 ID - Kock1972 ER - TY - JOUR AU - Longo, R. AU - Roberts, J. E. PY - 1997 DA - 1997// TI - A theory of dimension JO - K-Theory VL - 11 UR - https://doi.org/10.1023/A:1007714415067 DO - 10.1023/A:1007714415067 ID - Longo1997 ER - TY - BOOK AU - Mac Lane, S. PY - 1998 DA - 1998// TI - Categories for the working mathematician PB - Springer CY - Berlin ID - Mac Lane1998 ER - TY - JOUR AU - Rowe, K. A. PY - 1988 DA - 1988// TI - Nuclearity JO - Can Math Bull VL - 31 UR - https://doi.org/10.4153/CMB-1988-035-5 DO - 10.4153/CMB-1988-035-5 ID - Rowe1988 ER -