Timeline for About Coreader Comonads
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 23 at 17:25 | history | bounty ended | Ben Sprott | ||
| S Sep 23 at 17:25 | history | notice removed | Ben Sprott | ||
| Sep 23 at 16:44 | vote | accept | Ben Sprott | ||
| Sep 21 at 16:45 | answer | added | Neil Strickland | timeline score: 5 | |
| Sep 21 at 14:20 | history | edited | Ben Sprott | CC BY-SA 4.0 |
added 23 characters in body
|
| Sep 21 at 13:54 | history | edited | Ben Sprott | CC BY-SA 4.0 |
added 61 characters in body
|
| Sep 21 at 13:17 | comment | added | David Roberts♦ | Note that the definition of the coreader comonad makes sense for any set S. There are no restrictions on S. "..𝑆 is the set of all dcpos?" <--- is this a set, or a proper class? I strongly suggest understanding the construction of the comonad from the "directed container on $[S \triangleleft P]$", so as to unpack the statement in your screenshot, because conflating the two structures (comonads and directed containers) seems to be causing some confusion | |
| Sep 21 at 13:13 | comment | added | David Roberts♦ | " the nonempty list comonad is just a chain with a head." <-- what does this statement mean? A comonad is a certain kind of functor equipped with some natural transformations satisfying axioms. A "chain with a head" is .. not that. Do you mean to say something like "An algebra for the nonempty list comonad"? It's late here and I'm not going to puzzle this out myself. | |
| Sep 21 at 13:02 | history | edited | Ben Sprott | CC BY-SA 4.0 |
added 460 characters in body
|
| Sep 20 at 21:54 | comment | added | Dave Benson | Or the comathematician, who turns cotheorems into ffee? | |
| Sep 20 at 18:03 | comment | added | GH from MO | This reminds me of a quote from Kontsevich's "Deformation quantization of Poisson manifolds", which is available on the web: "We denote by $C(V )$ the cofree cocommutative coassociative coalgebra without counit cogenerated by $V$." | |
| S Sep 20 at 17:43 | history | bounty started | Ben Sprott | ||
| S Sep 20 at 17:43 | history | notice added | Ben Sprott | Draw attention | |
| Sep 7 at 23:31 | history | asked | Ben Sprott | CC BY-SA 4.0 |