%0 Book Section
%T Diagram rewriting and operads
%T Réécriture de diagrammes et opérades
%+ Institut de mathématiques de Luminy (IML)
%A Lafont, Yves
%@ 978-2-85629-363-8
%B Operads 2009
%I Soc. Math. France
%C Paris
%S Séminaires et Congrès
%V 26
%P 163-179
%8 2013
%D 2013
%K algebraic theory
%K braid
%K canonical form
%K confluence
%K diagram rewriting
%K Knuth-Bendix completion
%K operad
%K permutation
%K presentation by generators and relations
%K PRO
%K PROP
%K Schur functor
%K tangle
%K complétion de Knuth-Bendix
%K confluence
%K enchevêtrement
%K foncteur de Schur
%K forme canonique
%K opérade
%K présentation par générateurs et relations
%K PRO
%K PROP
%K réécriture de diagrammes
%K théorie algébrique
%K tresse
%Z 18C10
%Z Computer Science [cs]
%Z Mathematics [math]/Logic [math.LO]
%Z Mathematics [math]/Category Theory [math.CT]Book sections
%X 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.
%X 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.
%G English
%L hal-01326981
%U https://hal.science/hal-01326981
%~ CNRS
%~ UNIV-AMU
%~ INSMI
%~ IML
%~ I2M