Search for "monoid category" on google. A monoid is a mathematical object in cathegory theory.