Category:Definitions/Locales
Jump to navigation
Jump to search
This category contains definitions related to Locales.
Related results can be found in Category:Locales.
An object of $\mathbf{Loc}$ is called a locale.
That is, a locale is a complete lattice $\struct {L, \preceq}$ satisfying the infinite join distributive law:
| \(\ds \forall a \in L, S \subseteq L:\) | \(\ds a \wedge \bigvee S = \bigvee \set {a \wedge s : S \in S} \) |
where $\bigvee S$ denotes the supremum $\sup S$.
Pages in category "Definitions/Locales"
The following 15 pages are in this category, out of 15 total.
C
L
- User:Leigh.Samphier/OrderTheory/Definition:Category of Compact Completely Regular Locales
- User:Leigh.Samphier/OrderTheory/Definition:Completely Regular Locale
- User:Leigh.Samphier/Topology/Definition:Category of Locales
- User:Leigh.Samphier/Topology/Definition:Category of Locales with Localic Mappings
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)/Also Defined As
- User:Leigh.Samphier/Topology/Definition:Continuous Map (Locale)/Localic Mapping
- User:Leigh.Samphier/Topology/Definition:Locale (Lattice Theory)
- User:Leigh.Samphier/Topology/Definition:Locale (Lattice Theory)/Frames vs Locales
- Definition:Locale (Lattice Theory)