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 not deleted
user 46003
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.
17
votes
Accepted
Combination topological space and locale?
The proper term is topological system as found in Vickers' book Topology via Logic. Vickers actually uses precisely your expanded definition.
What you call "topological" Vickers calls "spatial" and y …
- 3,768
11
votes
Accepted
Product of topological spaces and product of corresponding locales
Notes on the product of locales. Mathematica Slovaca 65.2 (2015): 247-264. PDF
Jorge Picado and Aleš Pultr. Frames and Locales: topology without points. Springer Science & Business Media, 2011. …
- 621
12
votes
What are the 'wonderful consequences' following from the existence of a minimal dense subspace?
An example of an application of this appeared in Alex Simpson's paper called "Measure, Randomness and Sublocales" where Alex used this fact to resolve the Banach-Tarski paradox.
Recall that $\mathbb …
- 621