# Contents

## Idea

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 23:57:31 by Urs Schreiber (150.212.93.134)