Simple free star-autonomous categories and full coherence
范畴论
2012-03-28 v4 逻辑
摘要
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.
引用
@article{arxiv.math/0506521,
title = {Simple free star-autonomous categories and full coherence},
author = {Dominic Hughes},
journal= {arXiv preprint arXiv:math/0506521},
year = {2012}
}
备注
35 pages. To appear in Journal of Pure and Applied Algebra, 2012