ドミニク・ヒューズの証明絵算論文
- Title: Simple free star-autonomous categories and full coherence (July 7, 2005)
- Author: DOMINIC J. D. HUGHES
- URL: http://boole.stanford.edu/~dominic/papers/freestar/freestar.pdf
- Pages: 36
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.