Coequalizers and Tensor Products for Continuous Idempotent Semirings

被引：3
|
作者：
Hopkins, Mark [1 ]
Leiss, Hans [2 ]
机构：
[1] UW Milwaukee, Milwaukee, WI 53211 USA
[2] Ludwig Maximilians Univ Munchen, Ctr Informat & Sprachverarbeitung, Oettingenstr 67, D-80539 Munich, Germany
来源：
RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE | 2018年 / 11194卷
关键词：
KLEENE ALGEBRAS;
D O I：
10.1007/978-3-030-02149-8_3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 mu-continuous Chomsky-algebras, and the unital quantales.
引用
收藏
页码：37 / 52
页数：16
相关论文
共 50 条
12345