Timeline for Needless axiom for Grothendieck topologies?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 4, 2016 at 13:07 | answer | added | Simon Henry | timeline score: 9 | |
| Apr 21, 2013 at 0:22 | comment | added | Colin McLarty | I'll just add that Grothendieck probably thought of this as analogous to saying a topology on a set $S$ always has $S$ itself as an open subset. | |
| Apr 19, 2013 at 14:49 | comment | added | Zhen Lin | You can make do with much less than a Grothendieck pretopology: all you need to have a good notion of sheaf (i.e. one that generates a topos) is a coverage. See here: ncatlab.org/nlab/show/coverage | |
| Apr 19, 2013 at 12:31 | history | asked | Nicolás | CC BY-SA 3.0 |