Timeline for "Spatial (geometrical)" realization of Elementary topos?
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 1, 2017 at 15:58 | history | suggested | Matthieu FG |
Added Categorical logic tag
|
|
| Jul 1, 2017 at 15:51 | review | Suggested edits | |||
| S Jul 1, 2017 at 15:58 | |||||
| Aug 24, 2016 at 11:08 | history | edited | tttbase | CC BY-SA 3.0 |
deleted 4 characters in body
|
| Jul 17, 2016 at 3:39 | vote | accept | tttbase | ||
| May 17, 2016 at 21:28 | vote | accept | tttbase | ||
| Jul 17, 2016 at 3:39 | |||||
| May 3, 2016 at 8:18 | vote | accept | tttbase | ||
| May 7, 2016 at 4:17 | |||||
| Apr 27, 2016 at 15:57 | answer | added | Mike Shulman | timeline score: 17 | |
| Apr 27, 2016 at 15:46 | vote | accept | tttbase | ||
| Apr 27, 2016 at 16:24 | |||||
| Apr 27, 2016 at 15:39 | vote | accept | tttbase | ||
| Apr 27, 2016 at 15:46 | |||||
| Apr 27, 2016 at 15:36 | comment | added | Simon Henry | Ok, good point. | |
| Apr 27, 2016 at 15:16 | comment | added | tttbase | @Simon library.msri.org/books/sga/from_grothendieck.pdf A mad day's work, Cartier. pg 395. | |
| Apr 27, 2016 at 14:34 | comment | added | Simon Henry | Also, I don't think Grothendieck (or anyone for that matter) thought as toposes as an "ultimate" generalization of spaces. It is a convenient generalization, but it is not as general as one might want. | |
| Apr 26, 2016 at 22:14 | comment | added | user13113 | My instincts are that doing so wouldn't lead towards getting 'more geometry', but instead doing geometry in a more restrictive logical setting. | |
| Apr 26, 2016 at 18:19 | answer | added | Qiaochu Yuan | timeline score: 5 | |
| Apr 26, 2016 at 18:02 | answer | added | Simon Henry | timeline score: 19 | |
| Apr 26, 2016 at 17:12 | history | edited | tttbase |
edited tags
|
|
| Apr 26, 2016 at 17:07 | history | asked | tttbase | CC BY-SA 3.0 |