Timeline for How to construct the espace étalé (space of sections) for an arbitrary category?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2018 at 20:42 | comment | added | David Roberts♦ | Also, to define stalks you need cocompleteness, or at least the existence of directed colimits, not just coproducts. | |
| Dec 12, 2018 at 20:39 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Fixed terminology
|
| Dec 12, 2018 at 20:38 | comment | added | David Roberts♦ | Since $F$ is an object of $C$ and $X$ is a topological space, how are you defining the map $F\to X$? Do you assume that $C$ is some kind of concrete category? Arbitrary $C$ is too general, since I can take, for instance $C$ could be (the coproduct completion of) a combinatorially-defined countable category whose objects have no geometric interpretation. | |
| Dec 12, 2018 at 17:33 | history | edited | Qfwfq | CC BY-SA 4.0 |
edited body; edited title
|
| Dec 8, 2018 at 2:55 | comment | added | Kevin Carlson | There's no such notion for a general codomain category. In particular, notice that $\coprod \mathcal F_p$ is not a topological space in any natural way! | |
| Dec 7, 2018 at 20:10 | comment | added | Samantha Y | You are welcome. For what it's worth, I also found math.stackexchange.com/questions/222896/… Perhaps this will be more accessible. | |
| Dec 7, 2018 at 11:58 | comment | added | Zhang Kongzheng | Samantha, thank you! I am still learning some details in those answers, but I think that it is want I need. | |
| Dec 7, 2018 at 6:05 | comment | added | Samantha Y | Does this help? mathoverflow.net/q/4474/73967 | |
| Dec 7, 2018 at 5:26 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
typo in the title
|
| Dec 7, 2018 at 5:15 | review | First posts | |||
| Dec 7, 2018 at 7:24 | |||||
| Dec 7, 2018 at 5:13 | history | asked | Zhang Kongzheng | CC BY-SA 4.0 |