Pentagon identity for a monoidal category

For an associator $a$ in a monoidal category, the two paths from $((W\otimes X)\otimes Y)\otimes Z$ to $W\otimes (X\otimes (Y\otimes Z))$ agree:This five-vertex diagram is the basic compatibility for reassociating four tensor factors. The monoidal coherence theorem extends it to arbitrary finite tensor expressions.