摘要
本文引进了新的闭包系统,新的闭包算子等概念,研究了它们之间的相互关系,给出了由闭包系统来表示有限原子格的表示定理,证明了分别以这些数学结构为对象,以它们之间的同态映射作为态射,所对应的格范畴和对应的闭包系统范畴是范畴等价的.
In this paper, we introduce new closure systems and closure operators, and discuss the relationship between them. we obtain the representation of finite lattices by closure system. At last, we prove that the category formed by closure systems together with homomorphism is equivalent to the category formed by finite lattice together with homomorphism.
出处
《数学理论与应用》
2007年第2期43-45,共3页
Mathematical Theory and Applications
