Timeline for Whether an isotone bijection from a power set lattice to another sends singletons to singletons
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4 at 8:12 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 62 characters in body
|
| Aug 4 at 7:10 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
one more typo
|
| Aug 4 at 6:46 | comment | added | Emil Jeřábek | I added that point to the answer to make it more self-contained. | |
| Aug 4 at 6:45 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 375 characters in body
|
| Aug 4 at 6:38 | comment | added | Salvo Tringali | Let me just add for my future self that $f(S) = T$: being isotone and surjective implies that f maps the max of the power set lattice of S (that is, S) to the max of the power set lattice of T (that is, T). So, $T = f(S')$ yields by injectivity that $S'=S$. | |
| Aug 4 at 6:34 | vote | accept | Salvo Tringali | ||
| Aug 4 at 12:20 | |||||
| Aug 4 at 6:27 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
edited body
|
| Aug 4 at 6:26 | comment | added | Salvo Tringali | I guess you mean $S' \subseteq S$. Apart from that, awesome! | |
| Aug 4 at 5:44 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |