Coherence of the Double Involution on *-Autonomous Categories

J.R.B. Cockett, M. Hasegawa and R.A.G. Seely

We show that any free *-autonomous category is equivalent (in a strict sense) to a free *-autonomous category in which the double-involution $(-)^{**}$ is the identity functor and the canonical isomorphism $A\simeq A^{**}$ is an identity arrow for all $A$.

2000 MSC: 03F52,18D10,18D15

Theory and Applications of Categories, Vol. 17, 2006, No. 2, pp 17-29.

TAC Home