 Comultiplication

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