重新定义临界峰- $Φ\sqcup Ψ= \top$
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$
摘要：
假设一个集群是一个术语，其中出现了一些模式。我们给出了两个帐户的集群，几何一组（节点和边缘）的位置，和一个归纳的一对术语的差距（二阶变量）和模式替换的差距。我们表明这两个概念的集群和相应的细化/粗化订单，同构。这为集群配备了一个晶格结构，我们将其提升到（并行/多）步骤，以产生临界峰概念的另一种解释。
英文摘要：
Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as pairs of terms with gaps (2nd order variables) and pattern-substitutions for the gaps. We show both notions of cluster and the corresponding refinement/coarsening orders on them, to be isomorphic. This equips clusters with a lattice structure which we lift to (parallel/multi) steps to yield an alternative account of the notion of critical peak.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
