Diagram rewriting and operads
Diagram rewriting and operads
复制标题
图重写和操作
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Y. Lafont
中科院分区：
文献类型：
--
作者：
Y. Lafont
我们介绍了一个明确的图形语法的PRO和PROPs，这是在理论中使用的操作。通过图重写，我们得到了PROs的生成元和关系表示，在某些情况下，我们甚至得到了收敛的重写系统。这种图解语法不仅对实际计算有用，而且对理论结果也有用。此外，重写与同伦理论密切相关。例如，它可以用来计算代数结构的同调不变量，或证明相干结果。
We introduce an explicit diagrammatic syntax for PROs and PROPs, which are used in the theory of operads. By means of diagram rewriting, we obtain presentations of PROs by generators and relations, and in some cases, we even get convergent rewrite systems. This diagrammatic syntax is useful for practical computations, but also for theoretical results. Moreover, rewriting is strongly related to homotopy theory. For insta nce, it can be used to compute homological invariants of algebraic structures, or to prove coherence results.