Simple free star-autonomous categories and full coherence (2005)
by
Dominic J. D. Hughes
| Citations: | 8 - 0 self |
BibTeX
@MISC{Hughes05simplefree,
author = {Dominic J. D. Hughes},
title = {Simple free star-autonomous categories and full coherence},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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, for full coherence.
