SMF

Réécriture de diagrammes et opérades

Diagram rewriting and operads

Yves Lafont
Réécriture de diagrammes et opérades
  • Consulter un extrait
  •  
                
  • Année : 2013
  • Tome : 26
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 18C10.
  • Pages : 163-179
Nous donnons un aperçu de la syntaxe diagrammatique pour les PROs et les PROPs, qui sont liés à la théorie des opérades et des bigèbres. En utilisant la réécriture de diagrammes, on obtient des présentations de PROs par générateurs et relations. Dans certains cas, on obtient même des systèmes de réécriture convergents.
We give a survey of a diagrammatic syntax for PROs and PROPs, which are related to the theory of operads and bialgebras. Using diagram rewriting, we obtain presentations of PROs by generators and relations. In some cases, we even get convergent rewrite systems.
Complétion de Knuth-Bendix, confluence, enchevÍtrement, foncteur de Schur, forme canonique, opérade, présentation par générateurs et relations, PRO, PROP, réécriture de diagrammes, théorie algébrique, tresse.
Algebraic theory, braid, canonical form, confluence, diagram rewriting, Knuth-Bendix completion, operad, permutation, presentation by generators and relations, PRO, PROP, Schur functor, tangle.