【摘要】 本文把状态属性系统的概念推广到了多值情形,探讨了状态属性系统与闭包空间之间的关系;证明了对一个有单位元的quantale L,在L中取值的状态属性系统的范畴与在L中取值的闭包空间范畴等价.更多还原

【Abstract】 In this paper the definition of state property system is extended to the many-valued setting. The relationship between state property systems and closure spaces is discussed.It is shown that,for a unital quantale L,the category of state property systems valued in L is equivalent to the category of closure spaces valued in L.更多还原