Simple free star-autonomous categories and full coherence

By Dominic J. D. Hughes. 2005

49 citations recorded by the source corpus.

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.

Subfields: Artificial Intelligence, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/2ad93639bb8f82d4ffa64ce7f2500a14ad4c394f