A Quantization Theorem for Kleene Algebras

Abstract

In this short paper, we give a simple proof for a quantization theorem for Kleene algebras. Moreover we establish the theorem for universal algebras and show that it is a special case of the homomorphism theorem for universal algebras.