Simple free star-autonomous categories and full coherence

详细信息	查看全文 | 推荐本文 |

• 作者：Dominic J.D. Hughes ^{dominic@theory.stanford.edu}
• 关键词：18D10 ; 18D15 ; 03F52 ; 03B47
• 刊名：Journal of Pure and Applied Algebra
• 出版年：2012
• 期刊代码：35_00224049
• 类别：mt
• 出版时间：November, 2012
• 卷：216
• 期：11
• 页码：2386-2410
• 文件大小：1044 K

摘要

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.