Timeline for question of topos and site
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2013 at 7:05 | comment | added | Zhen Lin | Indeed, but that is almost by definition. | |
| Apr 3, 2013 at 6:39 | comment | added | Wouter Stekelenburg | Not every topos is a Grothendieck topos, and for non Grothendieck toposes the answer is: no, such sites do not exist. | |
| Mar 28, 2013 at 8:02 | vote | accept | kiseki | ||
| Mar 28, 2013 at 7:26 | history | answered | Zhen Lin | CC BY-SA 3.0 |