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 12705
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.
16
votes
Accepted
Is it possible to completely embed complete Heyting algebras into upsets of a poset?
No, not in general: for instance, the real interval $([0,1],{\le})$, or any non-atomic complete Boolean algebra, does not have such an embedding. This follows from the following characterization:
Pro …
- 12.9k
12
votes
Accepted
Embedding a Brouwerian lattice into a Boolean lattice
$\def\pw{\mathcal P}$The answer to all the questions is yes. Here are some relevant embedding results:
Proposition 1: Every partial order $(P,\le)$ can be embedded in the powerset lattice $(\pw(P),\su …
- 4,713