# nLab pentagon identity

Contents

### Context

#### Monoidal categories

monoidal categories

# Contents

## Idea

The coherence identity satisfied by an associator in a monoidal category or more generally in a bicategory, (2,1)-category etc, asserting that the following diagram commutes, where

$a_{x,y,z} \;\colon\; (x \otimes y) \otimes z \longrightarrow x \otimes (y \otimes z)$

is the associator natural transformation (or more generally: associator 2-morphism).

## References

For more references see at braided monoidal category and at coherence law.

Last revised on January 22, 2019 at 00:46:23. See the history of this page for a list of all contributions to it.