Let be a monoidal category.
A semigroup in consists of the data #m/def/cat
where is called the multiplication,
and these satisfy the associative law.
Moreover, if we are in a Symmetric monoidal category with braiding ,
then is called commutative iff it satisfies the commutative law.
