Claim: The co-multiplication is well-defined (check that it is constant for diagrams differing by a relation).