Simple free star-autonomous categories and full coherence

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.