Coherence without unique normal forms

Details Coherence without unique normal forms Coherence without unique normal forms

2007-05-30

arxiv.org/abs/0705.4334v1

Mathematics

Category Theory

23 pages

Scientific paper

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a feature that is inherent to the coherence problem itself. This is demonstrated by the theory of iterated monoidal categories, which model iterated loop spaces and have a coherence theorem but fail to be confluent. We develop a framework for expressing coherence problems in terms of term rewriting systems equipped with a two dimensional congruence. Within this framework we provide general solutions to two related coherence theorems: Determining whether there is a decision procedure for the commutativity of diagrams in the resulting structure and determining sufficient conditions ensuring that ``all diagrams commute''. The resulting coherence theorems rely on neither the termination nor the confluence of the underlying rewriting system. We apply the theory to iterated monoidal categories and obtain a new, conceptual proof of their coherence theorem.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-357023