nLab coherence theorem for braided monoidal categories

Contents

Context

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

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 at 04:49:27. See the history of this page for a list of all contributions to it.