comultiplication (multiplication + co-; together_joint)
The equivalent of multiplication in a coalgebra