Timeline for Is it always possible to write a scheme as a colimit of affine schemes?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 17, 2016 at 17:03 | comment | added | user40276 | I was being silly as noted my Marc in the comments above. So this is in fact a colimit in Sch. | |
| Sep 17, 2016 at 15:47 | comment | added | user40276 | @DavidCarchedi And your answer is a redrafting of my comment about point wise Kan extensions :) . Ok, just kidding. Now, we have a problem with both of these answer if this colimit is not the same as the one taken in Sch which I think is what the OP was looking for. | |
| Sep 17, 2016 at 12:52 | comment | added | HeinrichD | Yes, I know. But I assume that someone who is asking such a basic question on schemes, or in fact most readers interested in this question, are not familiar yet with Grothendieck topologies, subcanonical sites, Cech nerves, etc. All this is not necessary to understand and verify this colimit. This is why I wanted to make it more direct. (It's like explaining freshmen group theory by developing category theory first and then specialize to groupoids with one object.) | |
| Sep 17, 2016 at 7:28 | comment | added | David Carchedi | Hi Henrich. This is just a redrafting of what I explained in my answer. The colimit formula is the same. | |
| Sep 17, 2016 at 7:19 | history | edited | HeinrichD | CC BY-SA 3.0 |
added 330 characters in body
|
| Sep 17, 2016 at 7:14 | history | answered | HeinrichD | CC BY-SA 3.0 |