A monoid is a set S with an associative binary operation and a unit. For instance, strings with string concatenation and the empty string form a monoid. Functi

A monoid is a set S with an associative binary operation and a unit. For instance, strings with string concatenation and the empty string form a monoid. Functions form a monoid as well. Function composition is associative and id is the unit.