nLab coherence theorem for braided monoidal categories

Context

Monoidal categories

monoidal categories

With traces

• trace

• traced monoidal category?

In higher category theory

Higher category theory

higher category theory

Contents

Idea

The coherence theorem for braided monoidal categories can be expressed as:

Theorem

Every diagram in a free braided monoidal category made up of associators and unitors and braidings?, and in which both sides have the same underlying braid?, commutes.

References

Created on October 7, 2012 04:51:08 by Mike Shulman (192.16.204.218)