User:Leigh.Samphier/Topology/Definition:Locale (Lattice Theory)/Frames vs Locales
Jump to navigation
Jump to search
Frames vs Locales vs Complete Heyting Algebras
If we are only concerned with category theoretic objects, the terms frame and locale and complete Heyting algebra are synonymous. (See Characterization of Locale)
It is only when we consider the associated morphisms that they become different:
- For frames the associated morphisms are frame homomorphisms. (See Definition:Category of Frames).
- For locales the associated morphisms are continuous maps. (See Definition:Category of Locales).
- For complete Heyting algebra the associated morphisms are homomorphisms that also preserve the relative pseudocomplement operation $\to$. (See Heyting homomorphism).
Sources
- 1982: Peter T. Johnstone: Stone Spaces: Chapter $\text {II}$: Introduction to Locales, $\S 1.1$