Timeline for Codensity monad is idempotent?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2018 at 17:36 | comment | added | Ivan Di Liberti | Hello Tim, I was partially aware of this counterexample, and of course, you are right. I will upvote the answer. I hope you will understand that I am much more into Q2, and that's why I can't accept this answer. | |
| Oct 19, 2018 at 15:47 | history | answered | Tim Campion | CC BY-SA 4.0 |