# nLab coherence theorem for braided monoidal categories

### Context

#### Monoidal categories

monoidal categories

## 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)