Timeline for Locales and Topology.
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12, 2017 at 4:11 | answer | added | Todd Trimble | timeline score: 4 | |
| Jan 2, 2017 at 16:13 | answer | added | As a guest | timeline score: 1 | |
| Jan 9, 2013 at 5:27 | comment | added | Tom Leinster | @Qiaochu: thanks for the plug. As I've now moved university, a safer link is arxiv.org/abs/1012.5647. | |
| Jan 9, 2013 at 5:00 | answer | added | Joseph Van Name | timeline score: 10 | |
| Feb 3, 2011 at 6:29 | history | edited | Dmitri Pavlov |
edited tags
|
|
| Feb 2, 2011 at 16:29 | answer | added | Tom Leinster | timeline score: 17 | |
| Feb 1, 2011 at 22:04 | comment | added | Peter LeFanu Lumsdaine | This doesn’t quite fit what you ask for, but much of what I know about locales, I learnt from reading books about Topos Theory. Mac Lane and Moerdijk’s Sheaves in Geometry and Logic and Peter Johnstone’s Topos Theory (the old 1971 book, not the Elephant) both include some very good bits of exposition on locale theory, though unfortunately (if you’re mainly interested in just the locales, not the toposes) they’re a bit buried among all the topos theory. I actually found those both more helpful than the Stone Spaces book, on the whole. | |
| Feb 1, 2011 at 7:31 | comment | added | Michael Greinecker | "Topology via Logic" by Vickers is quite elementary and does everything in terms of locales. It is written for computer scientists with no previous knowledge of topology, so it is probably the most accessible introduction to the subject available. | |
| Feb 1, 2011 at 2:19 | comment | added | Omar Antolín-Camarena | I recommend reading Johnstone's quick survey "The point of pointless topology" to get a feel for the difference between locales and topological spaces and for why it might be worthwhile to deal with locales. It's meant as a "trailer" for his book "Stone spaces", which Andrej recommends in his answer. | |
| Feb 1, 2011 at 0:09 | comment | added | Qiaochu Yuan | You might be interested in the relevant part of maths.gla.ac.uk/~tl/cafe_topos_intro.pdf . | |
| Jan 31, 2011 at 23:38 | answer | added | Andrej Bauer | timeline score: 23 | |
| Jan 31, 2011 at 23:05 | history | asked | Not Mike | CC BY-SA 2.5 |