Diagram rewriting and operads
Réécriture de diagrammes et opérades
Résumé
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.
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.