pentagon identity

The coherence identity satisfied by an associator in a monoidal category or more generally in a bicategory, (2,1)-category etc.

$(w\otimes x)\otimes(y\otimes z)$

Created on May 3, 2013 at 23:57:31. See the history of this page for a list of all contributions to it.