Processing math: 100%

Saturday, July 17, 2021

Spaces, frames, locales

Here are some of the key concepts from Mac Lane and Moerdijk's SGL related to the above.

(Spaces) (arrows go in geometric direction), 
(Frames) (arrows go in algebraic direction), 
(Locales)=(Frames)op (arrows go in geometric direction),

Quoting Mac Lane-Moerdijk, Section IX.1,

For a map f:ST of spaces, the locale-map Loc(f):Loc(S)Loc(T) is given by the frame morphism f1:O(T)O(S)
i.e.
(f:ST)(Spaces)Loc(Locales)(Loc(f):Loc(S)Loc(T))=((f1:O(T)O(S))op)(Frames)op.

No comments:

Post a Comment

MathJax 2.7.9