Simple free star-autonomous categories and full coherence
Eilenberg-Kelly-MacLane graphs [\textit{S. Eilenberg} and \textit{G. M. Kelly}, J. Algebra 3, 366--375 (1966; Zbl 0146.02501)] describe certain morphisms of closed categories. The author gives a simple presentation of the free star-autonomous category [\textit{M. Barr}, Lect. Notes Math. 752 (1966; Zbl 0415.18008)] generated by a category yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.
scientific article