论文部分内容阅读
本文引进了新的闭包系统,新的闭包算子等概念, 研究了它们之间的相互关系, 给出了由闭包系统来表示有限原子格的表示定理, 并对分别以这些数学结构为对象, 以它们之间的同态映射作为态射, 所对应的格范畴和对应的闭包系统范畴进行了研究.
首先, 在第二章, 定义了一种新的闭包系统-分配闭包系统, 并且用它来表示有限分配格. 同时, 我们在分配闭包系统中得到一些好的性质和命题. 得到结论,分别以这些数学结构为对象, 以它们之间的同态映射作为态射, 所对应的格范畴和对应的闭包系统范畴是范畴等价的.
其次, 在第三章, 我们研究了另一种闭包系统-原子闭包系统, 并且得到了原子闭包系统和原子闭包算子之间的一一对应关系, 同时, 我们还讨论了原子全蕴含系统来.
最后, 我们证明了由有限原子格和它们之间的态射所组成的范畴是等价于由原子闭包系统和它们之间的态射所组成的范畴.