Simple free star-autonomous categories and full coherence
Category Theory
2012-03-28 v4 Logic
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.
Cite
@article{arxiv.math/0506521,
title = {Simple free star-autonomous categories and full coherence},
author = {Dominic Hughes},
journal= {arXiv preprint arXiv:math/0506521},
year = {2012}
}
Comments
35 pages. To appear in Journal of Pure and Applied Algebra, 2012