Semigroups are not required to have any identity, and the monoidal identity needs to be both a left and right identity.