Pierre Rannou (Université Aix-Marseille 2), Bialgebras and ∑-diagrams


  • Feb. 27, 2012, 17:30 - 18:30


It is well-known that any free (noncommutative) algebra has a canonical structure of (cocommutative) bialgebra. Using rewriting of Σ-diagrams by interaction rules, we prove a similar result for generalized bialgebras satisfying some conditions which are similar to the confluence of critical peaks.