No CrossRef data available.
Article contents
Properties of co-operations: diagrammatic proofs
Published online by Cambridge University Press: 30 October 2012
Abstract
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 coassociativity and cocommutativity. This amounts to checking the confluence of some rewriting systems.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 22 , Issue 6: CAMCAD '09 Commutativity of Algebraic Diagrams , December 2012 , pp. 970 - 986
- Copyright
- Copyright © Cambridge University Press 2012