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 102343
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.
15
votes
5
answers
1k
views
Locales as spaces of ideal/imaginary points
the question so that it may become appropriate (if such modifications exist)
I recently saw a video of a presentation of Andrej Bauer here about constructive mathematics; and there are two examples of locales … Is there some form of general theory of locales as spaces of imaginary points ? …
CommunityBot
- 1