|
Organizers |
A basic coherence theorem formulated in rewriting theory
by
Paul-André Melliès
PPS Jussieu
In this talk, I will explain how to establish the coherence theorem for braided monoidal categories using rewriting theory - this involving the construction of a category of fractions in the sense of Gabriel and Zisman. This approach clarifies the combinatorial nature of this basic coherence theorem. I will then compare this proof to a series of more conceptual proofs developed in the literature.
Date received: May 26, 2008
Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxd-31.