Monoid object
= Monoid object
{title2=$(A,m,j)$}
An object with multiplication $m:A\otimes A\to A$ and unit $j:I\to A$ satisfying associativity and unit diagrams using the ambient <associators> and <unitors>.
= Monoid object
{title2=$(A,m,j)$}
An object with multiplication $m:A\otimes A\to A$ and unit $j:I\to A$ satisfying associativity and unit diagrams using the ambient <associators> and <unitors>.