Timeline for Where in ordinary math do we need unbounded separation and replacement?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2013 at 1:44 | comment | added | David Roberts♦ | Actually, what they do is construct a small category of schemes starting from an arbitrary set of schemes, which is closed under the usual operations. This is so that sheafification and other topos-theoretic notions can be treated without worrying about size issues. In big-picture applications, such as FLT or other questions of number-theoretic interest, one can assume that the set of schemes one starts with is comparatively small, and I would be surprised if the general construction you mention wasn't a huge overkill. | |
| Feb 11, 2013 at 1:23 | history | answered | arsmath | CC BY-SA 3.0 |