关于部分可加Kleene代数
On Partially Additive Kleene Algebras
摘要：
我们定义了部分加性Kleene代数的概念，这是一个Kleene代数，其中+运算只需要部分定义。这些结构形式化了许多不能直接用Kleene代数处理的例子。我们与部分加性Kleene代数现有的代数结构，展示与Kleene代数，部分加性范畴，闭半环的范畴连接。
英文摘要：
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras. We relate partially additive Kleene algebras to existing algebraic structures, by exhibiting categorical connections with Kleene algebras, partially additive categories, and closed semirings.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
