Timeline for A morphism of monads that doesn't preserve thunkability?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 22, 2020 at 22:49 | comment | added | Mike Shulman | (BTW there are two "trivial" monads on Set: one is constant at 1, the other is constant at 1 everywhere except it sends 0 to 0.) | |
| May 22, 2020 at 22:48 | comment | added | Mike Shulman | @IvanDiLiberti I don't know, I haven't tried. | |
| May 22, 2020 at 20:56 | comment | added | Ivan Di Liberti | Is it trivial to show that every nontrivial monad on Set satisfies the condition? | |
| May 22, 2020 at 20:19 | history | asked | Mike Shulman | CC BY-SA 4.0 |