#monoid #associativity #semigroup with identity #binary operation #identity element #abstract algebra #category theory