基于对闭包运算的性质研究,引入了闭包算子空间及其之间的连续映射概念,证明了闭包算子空间(对象)及其之间的连续映射(态射)构成范畴(闭包算子范畴)。证明了闭包算子空间范畴中(有限)积和(有限)余积的存在性,同时将闭包算子范畴与拓扑范畴联系,揭示了二者的同构性。
Using the closure operation, closure operator space and the order between two closure operators on the given set are defined.It is proved that all closure operators on the given set constitute a complete lattice.At the same time,continuous mapping between two closure operator spaces is defined,thus closure operator space category which is proved to be an iso- morphism category of topology space category is constructed.Simultaneously, It is proved that the product and coproduct space of some closure operator spaces exists.