Coproducts of Kleene algebras
William H. Cornish, Peter R. Fowler · Journal of the Australian Mathematical Society · 1979
Abstract The coproduct of a family of Kleene algebras is determined firstly by describing the maximal homomorphic image of a De Morgan algebra in the subvariety of Kleene algebras and, secondly, by characterizing the categorical product in the dual category of Kleene spaces.