Timeline for Can a non-free monad have non-trivial "quine"?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27, 2023 at 20:35 | comment | added | Kevin Carlson | This probably isn't surprising, but just a note that to my eye you can check straightforwardly from the monad map axioms that there aren't any such quines for the free monoid monad or for the monad induced by any particular non-free monoid. | |
| Feb 24, 2023 at 19:58 | comment | added | David Spivak | Brandon Shapiro noted [personal communication] that, though one might think the naturality of $\beta$ would be fairly constraining, it is not. Because $t$ is a coproduct of representables, you can just define $\beta$ on each one separately, with no need for coherence between them. He suggested a better question might be to ask that $\beta$ is a monad map (which $\eta_t$ isn't, but which $\mathfrak{m}_{\eta_p}$ is). | |
| Feb 24, 2023 at 2:37 | history | edited | David Spivak | CC BY-SA 4.0 |
"quine" seems more evocative of the idea
|
| Feb 24, 2023 at 2:29 | history | edited | David Spivak | CC BY-SA 4.0 |
added 387 characters in body
|
| Feb 24, 2023 at 2:21 | history | asked | David Spivak | CC BY-SA 4.0 |