The Eckmann–Hilton argument is a concept in category theory and homotopy theory that plays a role in the context of algebraic structures such as monoids and operads. It particularly addresses the interactions between two operations defined on a space or an algebraic structure when these operations are defined in a certain way, especially in relation to commutativity and associativity.
Articles by others on the same topic
If two unital operations on one set share their identity and satisfy , then the operations coincide and are commutative.