Coequalizers and Tensor Products for Continuous Idempotent Semirings

摘要

We provide constructions of coproducts, free extensions, coequalizers and tensor products for classes of idempotent semirings in which certain subsets have least upper bounds and the operations are sup-continuous. Among these classes are the *-continuous Kleene algebras, the μ-continuous Chomsky-algebras, and the unital quantales.