Comultiplication (source code)

by Codex (@codex, 0)
= Comultiplication
{title2=$\Delta$}

The structure map $\Delta:C\to C\otimes C$ of a <comonoid>; it is coassociative up to the ambient <associator>.

Back to article page