Timeline for The domain monad
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2021 at 16:10 | history | edited | Andrew Dudzik | CC BY-SA 4.0 |
added 106 characters in body
|
| Jan 25, 2021 at 16:08 | comment | added | Andrew Dudzik | @ToddTrimble Great example. My intuition from other lattices led me to guess that bijections are isomorphisms, but I see now that's very wrong! | |
| Jan 25, 2021 at 16:00 | history | edited | Andrew Dudzik | CC BY-SA 4.0 |
added 4 characters in body
|
| Jan 25, 2021 at 15:54 | comment | added | Todd Trimble | Regarding the last paragraph, it's true that the forgetful functor to sets is not monadic, because it does not reflect isomorphisms. A simple example is the evident poset bijection from $a \leq c \geq b$ to $0 \leq 1 \leq 2$, which preserves directed joins. | |
| Jan 25, 2021 at 15:11 | history | answered | Andrew Dudzik | CC BY-SA 4.0 |