Very nice Michael.

Though, your associativity diagram looks like a braiding.