Timeline for It's there a way to take a composite monad and a monad map to create a map of the composite?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 29, 2022 at 1:03 | answer | added | Simon Henry | timeline score: 3 | |
| Dec 28, 2022 at 23:32 | history | edited | mathlete42 | CC BY-SA 4.0 |
deleted 270 characters in body; edited title
|
| Dec 28, 2022 at 22:15 | comment | added | mathlete42 | @SimonHenry yes, I see what you are saying. I am trying to rewrite this question without the notion of a monoidal product among monads, but that should be a question in itself. | |
| Dec 28, 2022 at 21:57 | comment | added | mathlete42 | @SimonHenry I did some changes. Is it clearer now? | |
| Dec 28, 2022 at 21:55 | history | edited | mathlete42 | CC BY-SA 4.0 |
added 204 characters in body
|
| Dec 28, 2022 at 19:49 | history | asked | mathlete42 | CC BY-SA 4.0 |