[millstone]

It seems like the monoid-thinking just obscures. Positive integers under addition are not a monoid (no identity) but you can still map-reduce their sum of squares. All that you really need is associativity, and associative operations are associative.

[massysett]

That’s a semigroup.

[dwenzek]

Indeed, the identity is only required to deal with an empty input.