算术半格的闭包空间表示

作者：张清霞; 李庆国; 王龙春

来源：模糊系统与数学, 2021, 35(02): 1-9.

• 算术半格
• 算术闭包空间
• 范畴等价

本文主要讨论算术半格的闭包空间表示。首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示。接着提出了算术闭包空间之间的算术逼近映射的概念,并证明了以算术逼近映射作为态射的算术闭包空间范畴和以Scott连续函数作为态射的算术半格范畴之间的范畴等价性。

• 单位
  湖南大学; 数学学院