Coherence for Star-Autonomous Categories

Details Coherence for Star-Autonomous Categories Coherence for Star-Autonomous Categories

2005-03-15

arxiv.org/abs/math/0503306v2

Mathematics

Category Theory

28 pages

Scientific paper

This paper presents a coherence theorem for star-autonomous categories
exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric
monoidal closed categories. The proof of this theorem is based on a categorial
cut-elimination result, which is presented in some detail.

Affiliated with

Also associated with

No associations

Rating

Coherence for Star-Autonomous Categories 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 Coherence for Star-Autonomous Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence for Star-Autonomous Categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-316509