高维重写系统关系间的恒等式
Identities among relations for higher-dimensional rewriting systems
摘要：
我们推广的概念之间的关系，众所周知的介绍组，介绍n-类别的测谎仪的身份。每个测谎仪，我们关联一个轨道n-类，广义的概念，交叉模块组，以定义关系之间的身份的自然系统。我们涉及的事实，这个自然系统是非线性生成的，测谎仪有有限的推导类型。
英文摘要：
We generalize the notion of identities among relations, well known for presentations of groups, to presentations of n-categories by polygraphs. To each polygraph, we associate a track n-category, generalizing the notion of crossed module for groups, in order to define the natural system of identities among relations. We relate the facts that this natural system is finitely generated and that the polygraph has finite derivation type.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
