Convolution product for coalgebra maps
= 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>.