Timeline for Reference to an explixit construction of a locale from a measurable space
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 22, 2017 at 4:07 | comment | added | Dmitri Pavlov | Have you read this article? ncatlab.org/nlab/show/measurable%20locale (You do get nonspatial locales in this setup, by the way. In fact, points correspond to atoms in this context, so an atom-free measurable locale has no points.) | |
| Dec 21, 2017 at 13:24 | review | First posts | |||
| Dec 21, 2017 at 13:34 | |||||
| Dec 21, 2017 at 13:23 | history | asked | Lolman | CC BY-SA 3.0 |