fix associativity commutative diagram