Timeline for Several Topos theory questions
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 4, 2017 at 13:25 | comment | added | Ingo Blechschmidt | @Steven: Yes, you can solve the size issues with Grothendieck universes (if you are willing to use them); but if you want the big Zariski topos of $\operatorname{Spec} A$ to classify local $A$-algebras, then you need to use the site consisting of finitely presented $A$-algebras. Bigger sites will yield nonequivalent toposes. | |
| Oct 24, 2009 at 17:20 | comment | added | Steven Gubkin | Good point re: size issues. This is why Grothendieck has his axiom of universes, no? Thanks for pointing out the paper: looks like it will be a good read! | |
| Oct 24, 2009 at 17:18 | vote | accept | Steven Gubkin | ||
| Oct 29, 2009 at 3:25 | |||||
| Oct 24, 2009 at 17:16 | history | answered | Mike Shulman | CC BY-SA 2.5 |