Timeline for Precise relationship between elementary and Grothendieck toposes?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 1, 2017 at 19:43 | history | suggested | Matthieu FG |
Added cat log tag
|
|
| Jul 1, 2017 at 19:28 | review | Suggested edits | |||
| S Jul 1, 2017 at 19:43 | |||||
| May 30, 2017 at 14:55 | vote | accept | CommunityBot | ||
| May 30, 2017 at 14:50 | comment | added | Mike Shulman | One possible "suitable sense" for your final bullet point would be to consider the theory of a bounded geometric morphism between elementary toposes, i.e. a "Grothendieck topos over an arbitrary base topos". | |
| May 29, 2017 at 10:14 | answer | added | aws | timeline score: 7 | |
| May 28, 2017 at 21:44 | answer | added | Mike Shulman | timeline score: 21 | |
| May 28, 2017 at 21:14 | history | asked | user71137 | CC BY-SA 3.0 |