nLab Loc

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Definition

LocLoc or LocaleLocale is the category whose objects are locales and whose morphisms are continuous maps between locales. By definition, this means that LocLoc is the opposite category of Frm, the category of frames.

LocLoc is used as a substitute for Top if one wishes to do topology with locales instead of standard topological spaces.

LocLoc is naturally a (1,2)-category; its 2-morphisms are the pointwise ordering of frame homomorphisms.

Definition

The 2-category Locale has

  • as objects XX frames Op(X)Op(X);

  • as morphisms f:XYf : X \to Y frame homomorphisms f *:Op(Y)Op(X)f^* : Op(Y) \to Op(X);

  • a unique 2-morphism fgf \Rightarrow g whenever for all UOp(Y)U \in Op(Y) we have a (then necessarily unique) morphism f *Ug *Uf^* U \to g^* U.

(For instance Johnstone, C1.4, p. 514.)

Properties

For any base topos SS the 2-category Loc(S)Loc(S) of internal locales in SS is equivalent to the subcategory of the slice of Topos over SS on the localic geometric morphisms. See there for more details.

See locale for more properties.

The 2-functor that forms categories of sheaves

Sh:LocaleTopos Sh : Locale \to Topos

exhibits LocaleLocale as a full sub-2-category of Topos. See localic reflection for more on this.

References

For instance Section C1 of

category: category

Last revised on January 17, 2024 at 18:57:46. See the history of this page for a list of all contributions to it.