Abstract
Similarly as the sobriety is essential for representing continuous maps as frame homo-morphisms, also other separation axioms play a basic role in expressing topological phenomena in frame language. In particular,T D is equivalent with the correctness of viewing subspaces as sublocates, or with representability of open or closed maps as open or closed homomorphisms. A weaker separation axiom is equivalent with an algebraic recognizability whether the intersection of a system of open sets remains open or not. The role of sobriety is also being analyzed in some detail.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.