[Home]History of Pointless topology

HomePage | Recent Changes | Preferences

Revision 6 . . December 4, 2001 7:34 am by AxelBoldt
Revision 5 . . December 4, 2001 7:33 am by AxelBoldt
Revision 4 . . December 1, 2001 2:42 am by AxelBoldt [correction]
Revision 3 . . December 1, 2001 2:17 am by AxelBoldt
Revision 2 . . (edit) December 1, 2001 1:51 am by Gareth Owen
Revision 1 . . December 1, 2001 1:50 am by AxelBoldt [new]
  

Difference (from prior major revision) (author diff)

Changed: 7c7
It is possible to translate most concepts of point-set topology into the context of locales, and prove analogous theorems. While many important theorems in point-set topology require the axiom of choice, this is not true for their analoga in locale theory. This can be useful if one works in a topos? which doesn't have the axiom of choice. The concept of "product of locales" diverges slightly from the concept of "product of topological spaces", and this divergence has been called a disadvantage of the locale approach. Others claim that the locale product is more natural and point to several of its "desirable" properties which are not shared by products of topological spaces.
It is possible to translate most concepts of point-set topology into the context of locales, and prove analogous theorems. While many important theorems in point-set topology require the axiom of choice, this is not true for their analoga in locale theory. This can be useful if one works in a topos which doesn't have the axiom of choice. The concept of "product of locales" diverges slightly from the concept of "product of topological spaces", and this divergence has been called a disadvantage of the locale approach. Others claim that the locale product is more natural and point to several of its "desirable" properties which are not shared by products of topological spaces.

HomePage | Recent Changes | Preferences
Search: