Timeline for Any example of a non-strong monad?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2022 at 17:30 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https
|
| Jan 13, 2012 at 7:16 | vote | accept | Vlad Patryshev | ||
| Jan 13, 2012 at 7:16 | |||||
| Jan 11, 2012 at 23:45 | comment | added | Tom Leinster | Yeah, sorry about the mistake; wasn't thinking straight. As for the cartesian structure, maybe Finn's answer will be more satisfying on that front. | |
| Jan 11, 2012 at 22:58 | comment | added | Sridhar Ramesh | Oh, whoops, nevermind A); apparently, it was corrected 5 minutes before I said it. | |
| Jan 11, 2012 at 22:19 | comment | added | Sridhar Ramesh | A) How can the initial monoidal category equipped with a monad be empty? Surely, it must have an identity object for the monoidal structure. B) This is nice, as a free example with monoidal structure, but the question-asker seemed to want specifically cartesian product structure. | |
| Jan 11, 2012 at 22:14 | history | edited | Tom Leinster | CC BY-SA 3.0 |
Correction to last para
|
| Jan 11, 2012 at 18:00 | history | answered | Tom Leinster | CC BY-SA 3.0 |