| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4596382 | Journal of Pure and Applied Algebra | 2012 | 25 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
