= Monoid morphism A <morphism> $f:A\to B$ satisfying $fm_A=m_B(f\otimes f)$ and $fj_A=j_B$.
Back to article page
