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 83901
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.
13
votes
3
answers
646
views
How algebraic can the dual of a topological category be?
One of the nice aspects of the category of locales, $\mathrm{Loc}$, is that its dual (the category of frames) is monadic (over $\mathrm{Set}$) and therefore algebraic in this sense. … category $(A,G)$ with $A^{\mathrm{op}}$ monadic or algebraic such that any of the common categories of spaces (e.g., compact Hausdorff spaces, compactly generated weak Hausdorff spaces, topological spaces, locales …
- 12.4k