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 questions only
not deleted
user 11640
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
1
answer
125
views
Universally closed implies proper for locales
What about locales?
Is there an intuitionistic proof?
It seems to me possible to improve the proof mentioned above, for topological spaces at least. …
- 15.9k
9
votes
1
answer
366
views
Is an open map with open relative diagonal necessarily a local homeomorphism?
Let $f : X \to Y$ be an open (and continuous) map of locales. Suppose the relative diagonal $\Delta_f : X \to X \times_Y X$ is an open embedding of locales. … An open embedding of locales is a morphism $f : X \to Y$ that is isomorphic to the inclusion of some open sublocale of $Y$. …
- 42.4k