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.