Timeline for Big list of comonads
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2023 at 7:07 | comment | added | Oscar Cunningham | @SomaticCustard I've seen étalé bundles in various introductions to sheaves, and sometimes the word étalification is used. But I can't remember anywhere that explicitly treats them as comonads. | |
| Jul 4, 2023 at 17:09 | comment | added | Somatic Custard | This is very interesting. Do you know any good references where I can read more about this perspective, as well as similar appearances of (co)monads? | |
| Apr 21, 2019 at 10:11 | comment | added | geodude | Probably in order for that to be functorial we need pointed manifolds though. | |
| Apr 21, 2019 at 9:35 | comment | added | geodude | I mean the following. Take for example the category of manifolds. Assign to each manifold its universal cover. If this is functorial, it seems to give an idempotent comonad related to your construction. | |
| Apr 21, 2019 at 9:26 | comment | added | Oscar Cunningham | @geodude The étalification comonad is idempotent. I don't know what you mean by "universal covering" in this context. | |
| Apr 21, 2019 at 9:24 | comment | added | geodude | This is a very good example. By the way, is the universal covering an idempotent comonad? | |
| Apr 21, 2019 at 6:10 | history | edited | Oscar Cunningham | CC BY-SA 4.0 |
added 809 characters in body
|
| S Apr 21, 2019 at 5:56 | history | answered | Oscar Cunningham | CC BY-SA 4.0 | |
| S Apr 21, 2019 at 5:56 | history | made wiki | Post Made Community Wiki by Oscar Cunningham |