Associator
= Associator
{title2=$\alpha$}
The natural isomorphism $\alpha_{X,Y,Z}:(X\otimes Y)\otimes Z\to X\otimes(Y\otimes Z)$ in a <monoidal category>. It satisfies the pentagon axiom.
= Associator
{title2=$\alpha$}
The natural isomorphism $\alpha_{X,Y,Z}:(X\otimes Y)\otimes Z\to X\otimes(Y\otimes Z)$ in a <monoidal category>. It satisfies the pentagon axiom.