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 25122
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.
4
votes
Accepted
Detecting positive endomaps of the formal reals
Now consider the embedding of pointwise spaces into locales; the work by Palmgren A constructive and functorial embedding of locally compact metric spaces into locales. …
- 810
10
votes
Accepted
reference request : constructive measure theory
Steve Vickers’ A monad of valuation locales presents a strong monad on the category of locales, a localic analogue of the Giry monad. … One difference with our work is that we focus on valuations on compact regular locales which give integrals to the Dedekind reals, whereas in the general theory the integrals are only lower reals. …
- 810