Timeline for What information is lost in $X \to \mathrm{Sh}(X)$?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2018 at 0:45 | comment | added | David Roberts♦ | A map from the frame of open sets of Sierpinski space gives an open set of the locale, but this is not a deep observation. | |
| Feb 21, 2018 at 12:57 | history | edited | Benjamin Steinberg | CC BY-SA 3.0 |
added 6 characters in body
|
| Feb 21, 2018 at 12:51 | comment | added | Benjamin Steinberg | You are right. I'll edit. | |
| Feb 21, 2018 at 10:38 | comment | added | Oscar Cunningham | The nlab entry here suggests that a point of a locale is a frame homomorphism $O(L)\rightarrow O(1)$, where $1$ is the one point space $\{0\}$ with open sets $\{\{\},\{0\}\}$, rather than the Sierpinski space. Can you clarify? | |
| Jun 3, 2014 at 12:51 | history | answered | Benjamin Steinberg | CC BY-SA 3.0 |