Timeline for Is the site of (smooth) manifolds hypercomplete?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
| S Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
| Jun 7, 2013 at 1:15 | |||||
| S Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
| S Jun 7, 2013 at 1:15 | |||||
| Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
| S Jun 7, 2013 at 1:15 | |||||
| May 18, 2013 at 10:15 | answer | added | Marc Hoyois | timeline score: 14 | |
| May 17, 2013 at 21:57 | comment | added | David Carchedi | @Andre: But we are saved by the existence of good covers :) | |
| May 17, 2013 at 21:55 | answer | added | David Carchedi | timeline score: 5 | |
| May 17, 2013 at 21:25 | history | edited | David Carchedi |
edited tags; edited tags
|
|
| May 17, 2013 at 21:09 | comment | added | David Carchedi | @Andre: You get the same theory of sheaves, but maybe not of infinity-sheaves. You can have a subsite whose topos of sheaves is equivalent to the whole topos of sheaves, but whose topos of infinity-sheaves is not equivalent to the whole infinity topos of infinity sheaves. This can't happen if everything is hypercomplete, however, this is what he is trying to prove, so we go in a circle. | |
| May 17, 2013 at 21:07 | comment | added | David Carchedi | It suffices to show that the contractible opens generate the infinity topos under colimits in a canonical way, i.e. that it is a dense sub -infinity category. | |
| May 17, 2013 at 21:06 | comment | added | André Henriques | "However, the proof cannot be generalized since there are non-contractible manifolds": you don't need non-contractible manifolds. Wether you include them or not, you get the same theory of sheaves. | |
| May 17, 2013 at 20:56 | history | asked | Alexander Körschgen | CC BY-SA 3.0 |