nLab
coherence theorem for braided monoidal categories

Context

Monoidal categories

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

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)