Dominic Hughes - Selected Papers

Simple free star-autonomous categories and full coherence [pdf - ps.gz - bibtex]
Journal of Pure and Applied Algebra, 2012.
math.CT/0506521 at

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: the commutativity of diagrams of canonical maps is decidable.