论文标题
域半联合
Domain Semirings United
论文作者
论文摘要
在半肌上进行的域操作以两种不同的方式进行了公理：通过添加性势不可挡的半度性的地图，到半肌的布尔子分类，受半度性的添加性和乘法单元的限制，或通过在半触点上进行的，导致分布式的分布式效果，这些分布构成了两个单元的图像。本说明介绍了这些方法一致的半段类别。
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide.
