Simple free star-autonomous categories and full coherence
arXiv:math/0506521
Abstract
This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.
35 pages. To appear in Journal of Pure and Applied Algebra, 2012