Simple free star-autonomous categories and full coherence (Q1936110)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Simple free star-autonomous categories and full coherence |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple free star-autonomous categories and full coherence |
scientific article |
Statements
Simple free star-autonomous categories and full coherence (English)
0 references
21 February 2013
0 references
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.
0 references
Eilenberg-Kelly-MacLane graph
0 references
star-autonomous category
0 references
Trimble rewiring
0 references
