Coherence of the double involution on $*$-autonomous categories.

Cockett, J.A.B., Hasegawa, M., and Seely, R.A.G.. "Coherence of the double involution on -autonomous categories.." Theory and Applications of Categories [electronic only] 17 (2006): 17-29. <http://eudml.org/doc/127888>.

@article{Cockett2006,
author = {Cockett, J.A.B., Hasegawa, M., Seely, R.A.G.},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {coherence; -autonomous category; double-involution; symmetric monoidal closed category; complemented objects; Chu construction; linearly distributive categories; linear exponential comonad; coalgebra; -autonomous category},
language = {eng},
pages = {17-29},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Coherence of the double involution on -autonomous categories.},
url = {http://eudml.org/doc/127888},
volume = {17},
year = {2006},
}

TY - JOUR
AU - Cockett, J.A.B.
AU - Hasegawa, M.
AU - Seely, R.A.G.
TI - Coherence of the double involution on -autonomous categories.
JO - Theory and Applications of Categories [electronic only]
PY - 2006
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 17
SP - 17
EP - 29
LA - eng
KW - coherence; -autonomous category; double-involution; symmetric monoidal closed category; complemented objects; Chu construction; linearly distributive categories; linear exponential comonad; coalgebra; -autonomous category
UR - http://eudml.org/doc/127888
ER -