Timeline for Categorical construction of the category of schemes?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2010 at 9:48 | comment | added | Charles Matthews | The answer that comes as "classifying topos of local rings" will doubtless be resisted by geometers; but see Mac Lane-Moerdijk Ch. 8 for all that. What I was alluding to can be traced in Johnstone, Topos Theory, from the index entry on "local ring". Basically adding in "with local ring homomorphisms", in passing from commutative rings to commutative local rings, is a step with general categorical meaning. But the work of Julian Cole referenced there seems ultimately unpublished. (Be careful what you wish for in the "purely categorical"!) Please can we have more expositions of SGA? | |
| May 30, 2010 at 22:12 | history | answered | Charles Matthews | CC BY-SA 2.5 |