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 the normal view instead:
scientific article; zbMATH DE number 6138020
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Simple free star-autonomous categories and full coherence |
scientific article; zbMATH DE number 6138020 |
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
0.8636080026626587
0 references
0.8448860049247742
0 references
0.8244554400444031
0 references
0.7829931378364563
0 references
