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

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

Theory and Applications of Categories [electronic only] (2006)

- Volume: 17, page 17-29
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topCockett, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.