Finite products are biproducts in a compact closed category

Journal of Pure and Applied Algebra

Volumn 212, Issue 2, 2008, Pages 394-400

  Houston, Robin ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34848812955     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpaa.2007.05.021     Document Type: Article

References (4)

1. Abramsky S., and Coecke B. A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (2004), IEEE Computer Science Press. Extended version at arXiv:quant-ph/0402130
2. Kelly M. Many variable functorial calculus I. Coherence in Categories. Lecture Notes in Mathematics vol. 281 (1972), Springer-Verlag 66-105
3. Kelly M., and Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 (1980) 193-213
4. Mac Lane S. Categories for the working mathematician. Graduate Texts in Mathematics (1978), Springer-Verlag