Coherence and Confluence

Details Coherence and Confluence Coherence and Confluence

2005-06-15

arxiv.org/abs/math/0506310v3

Mathematics

Category Theory

11 pages, updated references

Scientific paper

Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that ``all diagrams commute''. This note is about this analogy, paying particular attention to cases where the category for which coherence is proved is not a groupoid.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-288852