Timeline for Big list of comonads
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9 at 21:25 | answer | added | Vladimir Dotsenko | timeline score: 3 | |
| Jul 9 at 5:03 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
added 8 characters in body; edited tags
|
| Jun 4 at 3:55 | answer | added | Antoine Labelle | timeline score: 1 | |
| Sep 25, 2021 at 13:32 | answer | added | Tomáš Jakl | timeline score: 8 | |
| Apr 13, 2020 at 23:40 | answer | added | Igor Khavkine | timeline score: 9 | |
| Apr 13, 2020 at 1:27 | answer | added | David Spivak | timeline score: 6 | |
| Feb 10, 2020 at 21:46 | answer | added | NoLongerBreathedIn | timeline score: 7 | |
| Feb 8, 2020 at 0:43 | answer | added | Dan Piponi | timeline score: 7 | |
| Feb 7, 2020 at 22:13 | answer | added | Paolo Perrone | timeline score: 27 | |
| Feb 7, 2020 at 10:05 | comment | added | Martin Brandenburg | I really wish that this question gets more answers and thus more examples! | |
| Apr 21, 2019 at 12:02 | comment | added | Simon Henry | @NajibIdrissi : well, here is an example: The free algebra on a module is a very simple, classical and well understood notion, and everybody know that Algebra are monadic over modules. On the other hand (unless you restrict to the conilpotent case) the 'cofree coalgebra' over a module is an awfully complicated object (in general: over a field, it is not as bad, but over $\mathbb{Z}$ it is truly awfull), to the point that people working in the fields don't always know if they exist or not. | |
| Apr 21, 2019 at 7:53 | comment | added | YCor | @NajibIdrissi It might mean less popular as an explicitly used concept and language. | |
| Apr 21, 2019 at 6:41 | comment | added | Najib Idrissi | I don't see how comonads are less popular. Coalgebras are a rather common thing. Any time you write a diagonal $(x,x)$, you are implicitly using a coalgebra structure. | |
| Apr 21, 2019 at 6:40 | answer | added | Exit path | timeline score: 5 | |
| Apr 21, 2019 at 5:56 | answer | added | Oscar Cunningham | timeline score: 16 | |
| Apr 20, 2019 at 14:20 | review | Close votes | |||
| Apr 21, 2019 at 15:10 | |||||
| Apr 20, 2019 at 12:06 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Apr 20, 2019 at 6:12 | history | asked | geodude | CC BY-SA 4.0 |