Algebraic Reasoning over Relational Structures
CoRR(2024)
摘要
Many important computational structures involve an intricate interplay
between algebraic features (given by operations on the underlying set) and
relational features (taking account of notions such as order or distance). This
paper investigates algebras over relational structures axiomatized by an
infinitary Horn theory, which subsume, for example, partial algebras, various
incarnations of ordered algebras, quantitative algebras introduced by Mardare,
Panangaden, and Plotkin, and their recent extension to generalized metric
spaces and lifted algebraic signatures by Mio, Sarkis, and Vignudelli. To this
end, we develop the notion of clustered equation, which is inspired by Mardare
et al.'s basic conditional equations in the theory of quantitative algebras, at
the level of generality of arbitrary relational structures, and we prove it to
be equivalent to an abstract categorical form of equation earlier introduced by
Milius and Urbat. Our main results are a family of Birkhoff-type variety
theorems (classifying the expressive power of clustered equations) and an
exactness theorem (classifying abstract equations by a congruence property).
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要