Traced *-autonomous categories are compact closed http://www.tac.mta.ca/tac/volumes/28/7/28-07.pdf
おお〜