Timeline for Points in sites (etale, fppf, ... )
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2013 at 22:14 | history | edited | David Corwin | CC BY-SA 3.0 |
deleted 1 characters in body
|
| Jan 6, 2013 at 22:06 | history | edited | David Corwin | CC BY-SA 3.0 |
added 6 characters in body; added 28 characters in body
|
| Jan 6, 2013 at 21:57 | history | edited | David Corwin | CC BY-SA 3.0 |
added 81 characters in body
|
| Jan 6, 2013 at 21:50 | history | edited | David Corwin | CC BY-SA 3.0 |
added 203 characters in body; added 113 characters in body
|
| Jan 6, 2013 at 21:42 | history | edited | David Corwin | CC BY-SA 3.0 |
added 32 characters in body
|
| Dec 30, 2012 at 16:55 | vote | accept | LMN | ||
| Dec 30, 2012 at 11:03 | comment | added | Zhen Lin | Spaces of the form you mention in your fourth paragraph are called "sober", and the correspondence between points of the topos and points of the space is a straightforward corollary of the fact that sober spaces can be recovered up to homeomorphism from their frame of open subsets, which is manifestly frame of subterminal objects of the corresponding sheaf topos. This can be found in the usual topos theory references such as Sheaves in geometry and logic or Sketches of an elephant. | |
| Dec 30, 2012 at 9:33 | history | answered | David Corwin | CC BY-SA 3.0 |