Simple free star-autonomous categories and full coherence
[pdf -
ps.gz -
bibtex]
July 2005.
Archived as math.CT/0506521 at arXiv.org.
This paper gives a simple presentation of the free star-autonomous
category over a category, based on Eilenberg-Kelly-MacLane graphs and
Trimble rewiring, for full coherence.