概念层次结构的序性质是形式概念分析的研究重点.本文基于对关系相容F-扩张形式背景的研究,提出一种基于闭包空间的Scott型信息系统,为连续domains提供一种新的表示方法.首先,我们基于对关系相容F-扩张形式背景诱导的信息系统的研究,公理化地提出基于闭包的信息系统的概念6然后,利用信息态这一概念,我们证明:任意一个基于闭包的信息系统都可诱导一个连续domain.而且,我们提出F-态射作为基于闭包的信息系统之间的态射,并研究了它的性质.最后,我们建立了基于闭包的信息系统范畴和连续domains范畴之间的等价性.
形式概念分析 闭包空间 信息系统 连续domain 范畴等价