Simple free star-autonomous categories and full coherence

Details Simple free star-autonomous categories and full coherence Simple free star-autonomous categories and full coherence

2005-06-25

arxiv.org/abs/math/0506521v4

Mathematics

Category Theory

35 pages. To appear in Journal of Pure and Applied Algebra, 2012

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Simple free star-autonomous categories and full coherence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Simple free star-autonomous categories and full coherence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simple free star-autonomous categories and full coherence will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-577636