Simple free star-autonomous categories and full coherence
classification
🧮 math.CT
math.LO
keywords
categorycoherencefreefullsimplestar-autonomouscanonicalcategories
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.