User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)/Also Defined As

This page needs proofreading. Please check it for mathematical errors. If you believe there are none, please remove {{Proofread}} from the code. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code.

Continuous Map:Also defined as

From User:Leigh.Samphier/Topology/Frame Homomorphism is Lower Adjoint of Unique Galois Connection, every frame homomorphism is the lower adjoint of a unique Galois connection.

From All Infima Preserving Mapping is Upper Adjoint of Galois Connection, every continuous map is uniqely determined by the localic mapping that is the upper adjoint of the frame homomorphism that corresponds to the continuous map.

This, together with the unintuitive notion of a continuous map as the dual morphism of a frame homomorphism $\phi : L_2 \to L_1$, leads some sources to define the continuous map $f : L_1 \to L_2$ to be the localic mapping $f : L_1 \to L_2$. This definition of a continuous map results in the category of locales with localic mappings.

From User:Leigh.Samphier/Topology/Category of Locales with Localic Mappings is Isomorphic to Category of Locales we have that the category of locales with localic mappings and the category of locales are isomorphic categories but they are not identical.

Sources

• 2012: Jorge Picado and Aleš Pultr: Frames and Locales: Chapter II: Frames and Locales. Spectra, $\S 2.2$