Timeline for Big list of comonads
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9 at 5:02 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
Included the title of the linked paper
|
| Feb 8, 2020 at 1:21 | comment | added | Martin Brandenburg | Now that you say it, maybe the base point is actually the answer already. In the algebraic setting, the base point corresponds to an embedding into an algebraically closed field. And inside such a fixed algebraically closed field, we can take functorial algebraic closures of subfields. | |
| Feb 8, 2020 at 1:19 | comment | added | Paolo Perrone | @MartinBrandenburg Interesting question! I don't know honestly. I think that to make it functorial you have to choose a base point, without that choice it probably wouldn't work. But I'm not an expert...anyone? | |
| Feb 8, 2020 at 1:17 | history | edited | Paolo Perrone | CC BY-SA 4.0 |
edited body
|
| Feb 8, 2020 at 0:05 | comment | added | Martin Brandenburg | Great that my wish for more examples was heard! +1 May I ask a technical question here? I kind of remember that the universal covering of a (nice) space is not a functorial construction, very much like the algebraic closure of a field is not a functorial construction (without making too much choices like transcendence bases etc.). But your answer and also your notes show an easy way to define the action on morphisms. Is my memory completely wrong here, or do I mix things up here, i.e. is there a related covering space construction which is not functorial? | |
| Feb 7, 2020 at 22:19 | comment | added | Paul Siegel | Love the computer science examples, and your notes look very interesting. I'd offer to help add some of your examples to nLab, but realistically I can't commit to that at the moment. | |
| S Feb 7, 2020 at 22:13 | history | answered | Paolo Perrone | CC BY-SA 4.0 | |
| S Feb 7, 2020 at 22:13 | history | made wiki | Post Made Community Wiki by Paolo Perrone |