Timeline for Why must one sheafify quotients of sheaves?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2010 at 1:23 | comment | added | Andrea Ferretti | Yes, I know, I was just trying to point out what the original problem was. I guess roger was aware of examples of quotient presheaves which are not sheaves. | |
| Mar 23, 2010 at 19:30 | history | edited | Georges Elencwajg | CC BY-SA 2.5 |
Corrected letter "P" to letter "O"at several places
|
| Mar 23, 2010 at 18:20 | comment | added | Zoran Skoda | Commutes means that sheafification of a (colimit in PShv) is (colimit in Shv) of a sheafification (the latter step is empty operation on sheaves of course) and NOT that sheafification of a colimit in PShv is just a colimit in PShv. | |
| Mar 23, 2010 at 18:13 | comment | added | Andrea Ferretti | I think the question really is: Why is it not a sheaf if sheafification commutes with colimits? | |
| Mar 23, 2010 at 17:50 | history | answered | Georges Elencwajg | CC BY-SA 2.5 |