Kleene Algebrae, Kleene Modules, and Morita Equivalence
By: Luke Serafin
Potential Business Impact:
Unlocks new ways to understand computer programs.
Modules and the notion of Morita equivalence are foundational to the classical study of rings. These concepts extend naturally to semirings and then specialize to Kleene algebrae, and my goal is to investigate Kleene modules and Morita equivalence of Kleene algebrae in the hope that some of the power seen in the context of rings may be found in this new context as well.
Similar Papers
Generalised Möbius Categories and Convolution Kleene Algebras
Formal Languages and Automata Theory
Helps check computer programs for errors.
Computational and Categorical Frameworks of Finite Ternary $Γ$-Semirings: Foundations, Algorithms, and Industrial Modeling Applications
Rings and Algebras
Organizes math rules for computers to use.
Kleene Algebra
Programming Languages
Proves computer programs are equal using math rules.