Coherence of the double involution on * -autonomous categories. Cockett, J.A.B.; Hasegawa, M.; Seely, R.A.G. — 2006 Theory and Applications of Categories [electronic only]