Timeline for Canonical topology for infinity topoi revisited.
Current License: CC BY-SA 3.0
8 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/
|
|
| May 7, 2012 at 1:20 | answer | added | David Carchedi | timeline score: 2 | |
| Apr 27, 2012 at 0:57 | answer | added | David Carchedi | timeline score: 4 | |
| Apr 26, 2012 at 12:31 | comment | added | David Carchedi | @Mike: I am not sure. This is sort of implicit in the question. (hence my saying "correct?") | |
| Apr 26, 2012 at 8:44 | comment | added | Mike Shulman | If $E$ is hypersheaves on one site, does that preclude its being equivalent to sheaves on some other site (like itself)? | |
| Apr 25, 2012 at 22:37 | comment | added | David Carchedi | Thanks Andre. This looks like a nice approach. I am guessing you'd like me to show that $E$ is always a cotopological localization of $Sh_{\infty}\left(E\right)$. I can show the Yoneda embedding has a left-adjoint, but I'm having trouble (so far) in proving that it's left-exact. | |
| Apr 25, 2012 at 19:03 | comment | added | André Henriques | I think that the keyword that you're looking for is cotopological localization (page 531 of Higher Topos Theory: xxx.lanl.gov/pdf/math/0608040v4.pdf) | |
| Apr 25, 2012 at 16:59 | history | asked | David Carchedi | CC BY-SA 3.0 |