Lost me when they got the definitions of semigroups and monoids wrong.
Semigroups are not required to have any identity, and the monoidal identity needs to be both a left and right identity.
Semigroups are not required to have any identity, and the monoidal identity needs to be both a left and right identity.