Traced *-autonomous categories are compact closed

Tamás Hajgató and Masahito Hasegawa

We show that any traced $*$-autonomous category is compact closed.

Keywords: symmetric monoidal closed categories, traced monoidal categories, *-autonomous categories, compact closed categories

2010 MSC: 18D10,18D15

Theory and Applications of Categories, Vol. 28, 2013, No. 7, pp 206-212.

Published 2013-04-10.

http://www.tac.mta.ca/tac/volumes/28/7/28-07.dvi
http://www.tac.mta.ca/tac/volumes/28/7/28-07.ps
http://www.tac.mta.ca/tac/volumes/28/7/28-07.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/28/7/28-07.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/28/7/28-07.ps

TAC Home