(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:S→T of spaces, the locale-map Loc(f):Loc(S)→Loc(T) is given by the frame morphism f−1:O(T)→O(S),
i.e.
(f:S→T)∈(Spaces)Loc→(Locales)∋(Loc(f):Loc(S)→Loc(T))=((f−1:O(T)→O(S))op)∈(Frames)op.
No comments:
Post a Comment