[论文解读] Réécriture de termes sur les nestoèdres

Guillaume Laplante‐Anfossi, Pierre-Louis Curien|arXiv (Cornell University)|Mar 23, 2024

Semantic Web and Ontologies被引用 1

一句话总结

本文在与连通超图相关的嵌套多面体（nestohedra）上建立了一个几何词项重写系统，证明了在顶点上进行的重写既是合流的又是终止的。该研究将已知的顺序（如翻转序、Tamari序）推广，并通过Huet对应关系将其与范畴论的相干性定理联系起来，其应用涵盖单余范畴、操作子与置换范畴，通过嵌套多面体的上下文族实现。

ABSTRACT

27 pages, 2 figures, 1 table

研究动机与目标

• 通过几何重写框架统一不同代数结构（如单余范畴、操作子）的范畴论相干性定理。
• 将Huet关于词项重写与相干性证明之间对应关系的理论，从单纯形（associahedra）扩展至更广泛的多面体类——嵌套多面体。
• 利用几何与组合结构，定义并刻画嵌套多面体的顶点与面上的合流且终止的重写系统。
• 识别出具有统一形状的局部合流图（临界对）的上下文族超图（如单纯形、操作子多面体），从而实现范畴论的相干性结果。
• 将重写中的临界对几何化为嵌套多面体的2-面，将多面体组合学与范畴论的自然性及双函子性条件联系起来。

提出的方法

• 通过源自超图结构的定向向量，在嵌套多面体的0-骨架（顶点）上定义词项重写系统。
• 通过2-面与临界对图的几何分析，证明顶点重写的合流性与终止性。
• 将面级弱序（排列多面体）与广义Tamari序（单纯形）统一为嵌套多面体所有面上的统一面级重写系统。
• 引入上下文超图的概念，使得临界对的局部合流图具有统一形状，从而确保相干性定理成立。
• 建立重写步骤与嵌套多面体2-骨架上胞状路径之间的对应关系，其中2-面编码自然性与双函子性条件。
• 使用平面树与线性嵌套表示法来建模项与重写规则，尤其适用于操作子多面体与单纯形，从而与范畴论的签名建立联系。

实验结果

研究问题

• RQ1 如何系统地在嵌套多面体的顶点与面上定义词项重写系统，以捕捉范畴论的相干性？
• RQ2 何种几何与组合条件可确保嵌套多面体上的重写系统具有合流性与终止性？
• RQ3 重写系统中局部合流图（临界对）如何与嵌套多面体的2-面相对应？
• RQ4 超图的何种结构性质（如上下文族）可确保合流图的形状统一，从而支持范畴论的相干性定理？
• RQ5 能否通过嵌套多面体将Huet关于重写与相干性的对应关系，从单余范畴扩展至操作子与置换范畴？

主要发现

• 嵌套多面体顶点上的重写系统既合流又终止，推广了Barnard–McConville关于图单纯形的翻转序。
• 临界对的局部合流图在几何上被实现为嵌套多面体的特定2-面，这些面的形状由超图结构决定。
• 面级重写系统统一了面级弱序（排列多面体）与广义Tamari序（单纯形），统一了这些经典序。
• 对于上下文超图（如生成单纯形与操作子多面体的超图），合流图的形状具有统一性，从而可通过Huet对应关系实现范畴论的相干性定理。
• Huet–Mac Lane关于单余范畴的重写系统可作为单纯形上顶点重写系统的特例，其中Mac Lane的五边形对应一个2-面。
• 该框架表明，排列多面体与上下文图单纯形可能分别通过类似重写系统支持范畴化置换范畴与重连通范畴的相干性定理。