Category:Definitions/Locales

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$.

Subcategories

This category has the following 2 subcategories, out of 2 total.

The following 27 pages are in this category, out of 27 total.