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 43000
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.
14
votes
Accepted
Is there a good theory of 2-locales?
Seen another way, if you look at the left exact reflective subcategories of presheaves on a poset, i.e. $(0,1)$-categories, then you've got locales. … One reason your proposal for a 2-locale might be questioned is that your conditions don't imply any adjoint functor theorem, so that your 2-locales need not be complete, though locales always are. …
- 3,411