有限行为的适当函子与不动点
摘要：关于代数范畴上的函子，有一个已知的事实是合理不动点可以捕捉有限余代数的行为。本文中我们考虑了代数范畴上的函子。对于这些函子，合理不动点可能不再是完全抽象的，即不再是最终余代数的子余代数。受到"Esik and Maletti"对一个适当半环的概念的启发，我们引入了适当函子的概念。我们证明了对于适当的函子，合理不动点被确定为具有自由有限生成代数为载体的所有余代数的余和，并且它是最终余代数的子余代数。此外，我们证明了一个函子是适当的当且仅当该余和是最终余代数的子余代数。这些结果可以用于余代数正则表达式计算的完整性和正确性证明，例如加权自动机的证明。
作者：Stefan Milius
论文ID：1705.09198
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22