论文部分内容阅读
引入了弱内导算子概念,证明了对于每个给定的集合X,可以给WE（X）（即X上的弱内导算子的全体）上赋予适当的序关系≤使得（WE（X）,≤）与（CS（X）,■）完备格同构.这里CS（X）是X上的闭包系统的全体.从而它们之间也是范畴同构的,因此可以用弱内导算子完全确定闭包系统.最后讨论了弱内导算子的范畴性质.