Timeline for Are topoi and etale geometric morphisms locally small?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Nov 13, 2013 at 11:16 | vote | accept | David Carchedi | ||
| Nov 12, 2013 at 20:41 | answer | added | Zhen Lin | timeline score: 8 | |
| Nov 12, 2013 at 17:30 | comment | added | David Carchedi | @Edouard: I think you misread what I wrote. I did not say that the Hom categories are topoi (they are certianly not!). What I said is, if I fix an object $E$ and look at the slice 2-category over $E,$ that is, the 2-category of etale geometric morphisms over $E,$ then this is equivalent to the underlying $1$-category of the topos $E.$ | |
| Nov 12, 2013 at 16:34 | comment | added | Edouard | Pardon for the comment, but to me it feels like there is some need for clarification: as stated, you already say that hom-categories are topoi; if you talk about infinity topoi, which are usually presumed to have all small (co)limits, that already says goodbye to smallness. What is meant precisely? | |
| Nov 11, 2013 at 1:03 | history | edited | David Carchedi | CC BY-SA 3.0 |
added 184 characters in body
|
| Nov 11, 2013 at 0:50 | history | asked | David Carchedi | CC BY-SA 3.0 |