FRAME MAPPINGS AND POINT SEPARATION AXIOMS OF TOPOLOGICAL SPACES

摘要

Following Wallman’s idea of studying topological spaces and properties on lattice theory, C. Ehresmann and his student J. Bénabou first took complete Heyting algebra as a generalized topological space to study. After that, C. H. Dowker, D. Papert, J. R. Isbell and many others began a great deal of studies on complete Heyting algebra, and set up a new branch of mathematics——frame theory (or