Category:Commutative diagrams of binary operations