 One of the axioms defining a monoidal category is that associators satisfy a pentagon identity, which is equivalent to the Biedenharn-Elliot identity for 6-"j" symbols.When a monoidal category is semisimple, we can restrict our attention to irreducible objects, and define multiplicity spaces
so that tensor products are decomposed as