摘要
This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is presented.
This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is presented.
基金
Supported by the Natural Science Foundation of Shaanxi Province（2007A12）
Supported by the Scientific Research Foundation of Shaanxi Educational Committee（11JK0507）
