Timeline for What's the easiest example of a morphism of topoi that is not from that of a site?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2012 at 16:13 | comment | added | Neil Strickland | I would say that 'topos' means 'elementary topos' rather than 'sheaf topos' by default. | |
| Apr 17, 2012 at 15:43 | answer | added | Filippo Alberto Edoardo | timeline score: 5 | |
| Nov 1, 2011 at 1:42 | comment | added | Omar Antolín-Camarena | @David: I haven't conducted polls or anything but my impression is that most non-category theorists don't use the term "Grothendieck topos", saying just "topos" (and they usually don't talk about elementary toposes at all :) | |
| Oct 31, 2011 at 8:01 | answer | added | JBorger | timeline score: 16 | |
| Oct 31, 2011 at 3:13 | comment | added | David Roberts♦ | And I added some tags. | |
| Oct 31, 2011 at 3:13 | history | edited | David Roberts♦ |
Added tags
|
|
| Oct 31, 2011 at 3:12 | comment | added | David Roberts♦ | Actually such a thing is known as a Grothendieck or sheaf topos; there are elementary topoi which are not equivalent to a category of sheaves on a site. | |
| Oct 31, 2011 at 1:24 | history | asked | Yuhao Huang | CC BY-SA 3.0 |