Locale

¶Etymology and the key move

The word locale was introduced as a mathematical term by J.R. Isbell in “Atomless Parts of Spaces” (Mathematica Scandinavica 31, 1972, pp. 5–32). The naming is deliberate: locale derives from Latin locus (place, position, topic) — the same root as topology (from Greek topos). A locale is a place in the mathematical sense — a structured site of relations — but defined without assuming any occupants.

In ordinary language, locale entered English in 1816 as a false spelling of French local used as a noun, with the terminal e added to indicate stress (as in morale). The etymological content: a locale is a positioned particular — something with a definite character derived from its relational structure, not from what it contains.

The key move (Isbell, Johnstone, Vickers): A topological space is classically defined as a set of points equipped with a topology (a distinguished collection of subsets called opens). But this gets the priority backwards. What matters about a space is not which points inhabit it but which observable properties it supports — which propositions about it are semidecidable, which conditions can be verified by finite observation. The opens (observable properties) are primary; the points (complete consistent families of properties) are secondary — and may not exist at all.

This is the pointfree move: define a space entirely by its logic of observation, without assuming a prior point set. The resulting object is a locale.

¶Formal definition

A frame is a complete lattice satisfying the infinite distributive law:

$$a \wedge \bigvee_{i \in I} b_i \;=\; \bigvee_{i \in I} (a \wedge b_i)$$

for all $a \in L$ and all $\{b_i\}_{i \in I} \subseteq L$. Equivalently: a frame is a complete Heyting algebra — the implication $a \to b = \bigvee\{c \mid a \wedge c \leq b\}$ exists by the adjoint functor theorem. Finite meets distribute over infinite joins; this is the frame axiom.

A locale is a frame viewed as a space. The elements of the frame are the opens of the locale — its observable properties. The category $\mathbf{Loc}$ is defined as $\mathbf{Frm}^{\mathrm{op}}$: locale morphisms $f : L \to M$ are frame homomorphisms $f^* : O(M) \to O(L)$ going in the opposite direction (pulling back opens, as continuous maps pull back open sets). This reversal is essential: a continuous function sends points forward but pulls observations backward.

A nucleus on a frame $L$ is a map $j : L \to L$ satisfying:

1. $j(a \wedge b) = j(a) \wedge j(b)$ (meet-preservation)
2. $a \leq j(a)$ (extensiveness)
3. $j(j(a)) = j(a)$ (idempotence)

A sublocale of a locale $L$ is a subset $S \subseteq L$ that is closed under arbitrary meets and under residuation from the left: for every $a \in L$ and $s \in S$, the element $a \to s \in S$. Equivalently (and this equivalence is the content of the nucleus-sublocale theorem): $S = \mathrm{Fix}(j) = \{a \in L \mid j(a) = a\}$ for a unique nucleus $j$ on $L$.

¶Four structural results

Theorem 1 — The nucleus-sublocale bijection (Johnstone, Stone Spaces, Theorem II.2.3, 1982). For any locale $L$, there is a bijection:

$$\{\text{nuclei } j : L \to L\} \;\longleftrightarrow\; \{\text{sublocales of } L\}$$

given by $j \mapsto \mathrm{Fix}(j)$ and $S \mapsto j_S$ where $j_S(a) = \bigwedge\{s \in S \mid s \geq a\}$. The lattice of sublocales $\mathrm{Sl}(L)$ (ordered by inclusion) is anti-isomorphic to the lattice of nuclei $N(L)$ (ordered pointwise): $\mathrm{Sl}(L) \cong N(L)^{\mathrm{op}}$. Meets of sublocales are set-theoretic intersections; joins are the sublocale generated by the union (strictly larger than the union in general).

Theorem 2 — Sublocales form a coframe. The lattice $\mathrm{Sl}(L)$ is a coframe: binary meets distribute over arbitrary joins. But $\mathrm{Sl}(L)$ is generally not a frame — it is the opposite of a frame. Consequently, the complementation in $\mathrm{Sl}(L)$ is not Boolean: the complement $\neg S$ of a sublocale $S$ is the largest sublocale disjoint from $S$ (the pseudo-complement), and $S \vee \neg S$ need not equal the top sublocale $L$.

This is a sharp departure from classical topology: open subsets of a topological space form a frame; sublocales of a locale form a coframe. The two structures are dual.

Theorem 3 — Tychonoff’s theorem without choice (Johnstone, 1981). An arbitrary product of compact locales is compact — with no use of the axiom of choice. In classical point-set topology, Tychonoff’s theorem (product of compact spaces is compact) is equivalent to the axiom of choice over ZF. The localic version requires no choice whatsoever and is provable in constructive mathematics. This is not a quirk but a structural feature: compactness for locales is intrinsic to the lattice structure (it is the condition $\bigvee S = \top \Rightarrow \exists$ finite $T \subseteq S$ with $\bigvee T = \top$), independent of point selection.

Theorem 4 — The logical interpretation (Vickers, Topology via Logic, Cambridge University Press, 1988). The frame $O(L)$ of a locale is a geometric theory: its generators are the basic observable properties and its relations are the axioms of the frame (finite conjunction, infinite disjunction). The infinite distributive law $a \wedge \bigvee b_i = \bigvee(a \wedge b_i)$ encodes the logic of finitary hypothesis, infinitary witness: you can only make finitely many observations at once (finite $\wedge$), but you can verify that some element of an infinite disjunction holds by finding a witness ($\bigvee$ allowed infinitely). A point of $L$ is a frame homomorphism $p : O(L) \to \{0, 1\}$ — equivalently, a completely prime filter in $O(L)$. Under the logical interpretation: a point is a classical model of the geometric theory $O(L)$.

A locale without points is therefore a consistent geometric theory with no classical models — a situation that cannot arise under the axiom of choice (every consistent theory has a model, by the ultrafilter lemma), but that arises constructively and within any topos where AC fails internally. The locale of Dedekind reals in certain constructive foundations, the locale of surjections from $\mathbb{N}$ to $\mathbb{R}$ (which has no points because no such surjection exists, yet has a rich frame of observable conditions), and the classifying locale of any consistent but non-realizable geometric theory are all instances.

¶Stone duality and the spectrum

The full framework sits inside a web of Stone-type dualities.

Stone’s theorem (1936): The category of Boolean algebras is dually equivalent to the category of Stone spaces (compact Hausdorff totally disconnected topological spaces): $\mathbf{Bool} \simeq \mathbf{Stone}^{\mathrm{op}}$. The duality sends a Boolean algebra $B$ to its spectrum $\mathrm{Spec}(B)$ — the set of ultrafilters on $B$ with the topology generated by $\{U_a : a \in B\}$ where $U_a = \{F : a \in F\}$.

Priestley’s theorem (1970): The category of bounded distributive lattices is dually equivalent to the category of Priestley spaces (compact ordered spaces that are totally order-disconnected).

The general locale-space duality: For the category $\mathbf{Loc}$ of locales and the category $\mathbf{Top}$ of topological spaces, there is an adjunction:

$$\mathbf{Top} \;\underset{\mathrm{Pt}}{\overset{O}{\rightleftharpoons}}\; \mathbf{Loc}$$

where $O$ sends a space $X$ to its locale of open sets and $\mathrm{Pt}$ sends a locale $L$ to its space of points $\mathrm{Pt}(L)$ with the topology generated by $\{\hat{a} : a \in L\}$ where $\hat{a} = \{p \in \mathrm{Pt}(L) : p(a) = 1\}$. The adjunction restricts to an equivalence between sober spaces (spaces where every irreducible closed set has a unique generic point) and spatial locales (locales with enough points to separate opens). The full category $\mathbf{Loc}$ is strictly larger than the sober-space side.

The classifying locale. For any geometric theory $\mathbb{T}$, the classifying locale $\mathcal{L}[\mathbb{T}]$ is the locale whose frame is the Lindenbaum-Tarski algebra of $\mathbb{T}$ (formulae modulo provable equivalence under $\wedge$ and $\bigvee$). Points of $\mathcal{L}[\mathbb{T}]$ = classical models of $\mathbb{T}$. The locale is spatial iff $\mathbb{T}$ has enough models to witness all logical distinctions (a completeness condition). Every locale is, up to isomorphism, the classifying locale of some geometric theory.

¶The genius loci: mathematical and phenomenological convergence

In Roman religion, the genius loci (guardian spirit of a place) named the qualitative identity of a location — what made this place this place, independent of its temporary occupants. Christian Norberg-Schulz (Genius Loci: Towards a Phenomenology of Architecture, 1980), drawing on Heidegger’s “Building Dwelling Thinking” (1951), formalized this: a place is constituted by its character — by what can be experienced and observed there — not by which persons happen to inhabit it at any moment.

The mathematical locale makes precisely the same move. A locale $L$ is constituted by its frame $O(L)$ — its logic of observable properties — independently of whether any classical points (actual occupants) exist. Two locales with isomorphic frames are the same locale regardless of their point sets. The locale is the character; the points are secondary.

This convergence is not metaphorical. Both structures answer the same question: What makes a space this space? The phenomenological answer: its gathering of relations (Heidegger’s Versammlung) — how light, materiality, history, and social practice cohere there. The mathematical answer: its frame of observable opens — which semidecidable propositions the space supports, how they combine, what counts as covering.

The institutional implication: a normative institution is a locale. It is constituted by what can be legally recognized and acted upon within it — its frame of observable normative properties — not by which specific agents happen to occupy its roles. The corporation as a legal entity is defined by its articles of incorporation (the frame) and exists as a locale even before any officer, director, or shareholder is named. The judicial system is defined by its procedures, jurisdictions, and recognitions; which judges happen to hold office is secondary.

¶Locale vs. adjacent concepts

Concept	Constituted by	Points required	Distributive law	Category
Topological space	Point set + open sets	Yes — primary	Finite	$\mathbf{Top}$
Sober space	Point set, every irred. closed has generic point	Yes	Finite	$\mathbf{Top}_{\mathrm{sob}}$
Locale	Frame (complete distributive lattice)	No — secondary	Infinite	$\mathbf{Loc} = \mathbf{Frm}^{\mathrm{op}}$
Spatial locale	Frame with enough points to separate opens	Yes (enough)	Infinite	$\mathbf{Loc}_{\mathrm{sp}}$
Frame	Algebraic object	N/A	Infinite	$\mathbf{Frm}$
Scott domain	Directed-complete partial order + Scott topology	Optional	Directed	$\mathbf{DCPO}$

The adjunction $\mathbf{Top} \rightleftharpoons \mathbf{Loc}$ restricts to an equivalence on $\mathbf{Top}_{\mathrm{sob}} \simeq \mathbf{Loc}_{\mathrm{sp}}$. The gap between $\mathbf{Loc}$ and $\mathbf{Loc}_{\mathrm{sp}}$ is precisely the pointless locales — the consistent theories without classical models.

Scott domains (Vickers shows explicitly) form a full subcategory of $\mathbf{Loc}$: the Scott topology on any domain is a locale, and the continuous maps between domains are exactly the locale morphisms of their Scott topologies. Domain theory is locale theory restricted to a particularly well-behaved class of frames.

¶Open questions

• Whether the classifying-locale perspective gives constructions of geometric theories of interest: for a given geometric theory $\mathbb{T}$, what is its classifying locale $\mathcal{L}[\mathbb{T}]$, and how do morphisms of theories correspond to geometric morphisms between the classifying toposes?
• Whether the Tychonoff theorem for locales (no choice required) yields useful product results: if locales $L_1, L_2$ are compact, the localic product $L_1 \otimes L_2$ is compact without choice. This is structurally distinctive from classical Tychonoff and has applications wherever joint compactness is needed without invoking choice.
• Whether the non-spatiality of certain locales corresponds to a specific class of mathematical or normative configurations — whether there is a structural condition that guarantees spatiality, and whether non-spatial locales admit useful interpretations independent of classical models.
• Whether the Joyal–Tierney representation (every Grothendieck topos is sheaves on a localic groupoid) gives a useful structural decomposition of toposes that arise in practice — whether the localic groupoid for a given topos is a recognizable object, and whether its structure simplifies the topos’s properties.