Timeline for Locales in constructive mathematics
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17, 2017 at 21:05 | vote | accept | Valery Isaev | ||
| Jul 17, 2017 at 8:48 | answer | added | მამუკა ჯიბლაძე | timeline score: 6 | |
| Jul 17, 2017 at 8:24 | answer | added | Simon Henry | timeline score: 13 | |
| Jul 17, 2017 at 7:14 | comment | added | Valery Isaev | @მამუკაჯიბლაძე Yes, I'm familiar with that. It would be nice to see a more general development of the theory in this setting, but I'm also fine with the impredicative approach. | |
| Jul 17, 2017 at 7:08 | comment | added | მამუკა ჯიბლაძე | The keyword for an "even more constructive" approach is formal topology | |
| Jul 17, 2017 at 6:24 | history | edited | Valery Isaev | CC BY-SA 3.0 |
added 13 characters in body
|
| Jul 17, 2017 at 6:22 | comment | added | Valery Isaev | @AndreasBlass Yes, you're right. I've updated the post. | |
| Jul 17, 2017 at 6:22 | comment | added | Valery Isaev | @JamesSmith I've seen this paper. Discrete locales are defined there in the same way as I did in my second question. I think I also saw this definition in another paper. That was one of the reasons for this questions since it seems that this definition is not very natural in a constructive setting. | |
| Jul 17, 2017 at 4:05 | comment | added | Andreas Blass | Terminological complaint: In traditional (pointy) topology and, as far as I know, also in localic topology, "open map" has a more general meaning than what you defined here. An continuous map of topological spaces is said to be open if the image of every open set is open. | |
| Jul 16, 2017 at 17:33 | comment | added | James Smith | I am not sure whether this paper is entirely relevant and it may have been one of Steve Vicker's papers that you have read already but, just in case, there is Continuity is Geometricity. | |
| Jul 16, 2017 at 15:23 | comment | added | Valery Isaev | Yes, I've read some of his papers, but I'm looking for more basic and foundational facts such as comparison of different definitions of discreteness and other properties. | |
| Jul 16, 2017 at 15:15 | comment | added | Andrej Bauer | Have you looked into the writings of Steve Vickers? | |
| Jul 16, 2017 at 9:57 | history | asked | Valery Isaev | CC BY-SA 3.0 |