Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with locales
Search options answers only
not deleted
user 45669
Questions taking place in the category of locales, which is given by the opposite of the category of frames. Also appropriate for questions about pointless topology.
7
votes
Accepted
Best introductory texts on pointless topology
Topology via Logic - theoretical computer scientist
Stone Spaces - pure mathematician
Both are really good. Topology via logic as it gives a good account of domain theory, including power domains.
…
7
votes
Constructive proofs of existence in analysis using locales
[I don't have enough points to comment; this is just a partial answer, at best]
Steve Vickers' paper https://www.cs.bham.ac.uk/~sjv/CViet.pdf has a constructive version of 1 (IVT). Theorem 41 in Sect …
1
vote
Topological regularity for toposes
As far as I am aware, there is not. (Unless, by definition, you want to say that a topos is regular if its localic reflection is regular.)
Not sure if that's helpful!