Timeline for Definition of Category of Locales
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2010 at 16:36 | vote | accept | John Iskra | ||
| Jan 4, 2010 at 16:35 | vote | accept | John Iskra | ||
| Jan 4, 2010 at 16:35 | |||||
| Dec 30, 2009 at 3:24 | comment | added | Tom Leinster | They come from logic (or more precisely, category theory) and its interaction with topology. The basic observation is that for many things that you do with topological spaces, the open sets matter more than the points. For instance, the notions of compactness and connectedness of a space refer only to the open sets, not the points. The same goes for the definition of sheaf. | |
| Dec 30, 2009 at 2:28 | comment | added | john mangual | do these notions come from logic or analysis? | |
| Dec 29, 2009 at 20:20 | history | answered | Tom Leinster | CC BY-SA 2.5 |