Properties of co-operations: diagrammatic proofs

摘要

We propose an alternative approach, based on diagram rewriting, for computations in bialgebras. We illustrate this graphical syntax by proving some properties of co-operations, including coassocia-tivity and cocommutativity. This amounts to checking the confluence of some rewriting systems.