I propose to merge semigroups and monoids. Both have a comparable number of questions (total 249 and 171; only 38 are both tagged both, and hence 382 questions are tagged at least one). Mathematical rationale: Recall that a monoid is a semigroup with a unit. Every monoid is thus a semigroup; e...