Convolution product for coalgebra maps (source code)

= Convolution product for coalgebra maps
{title2=$f*g=m_A(f\otimes g)\Delta_C$}

For a <coalgebra> $C$ and a unital associative <algebra over a commutative ring> $A$, maps $f,g:C\to A$ have convolution $f*g=m_A(f\otimes g)\Delta_C$, with unit $j_A\varepsilon_C$. The two-sided convolution inverse of $1_H$ is the <antipode>.