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. © 2012 Elsevier B.V.
Hughes, D. J. D. (2012). Simple free star-autonomous categories and full coherence. Journal of Pure and Applied Algebra, 216(11), 2386–2410. https://doi.org/10.1016/j.jpaa.2012.03.020