Timeline for Is the site of (smooth) manifolds hypercomplete?
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 14, 2014 at 0:36 | comment | added | Marc Hoyois | @DmitriPavlov I believe so, provided your topological manifolds are paracompact (so that homotopy dimension = covering dimension, HTT §7.3). | |
Nov 6, 2014 at 17:02 | comment | added | Dmitri Pavlov | Does this argument also demonstrate the hypercompleteness of the site of topological manifolds? | |
Jun 8, 2013 at 14:13 | comment | added | Marc Hoyois | @Alexander: The sheafification functor $a$ commutes with truncation by HTT 5.5.6.28. So to truncate in the category of sheaves you first truncate in the category of presheaves and then sheafify. | |
Jun 7, 2013 at 1:18 | comment | added | Alexander Körschgen | Thank you Marc. I chose your answer because it applies to a more general situation. Do you have a reference or an easy proof that the Postnikov tower of a sheaf can be described in this way? | |
Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
Jun 7, 2013 at 1:15 | |||||
Jun 7, 2013 at 1:15 | vote | accept | Alexander Körschgen | ||
Jun 7, 2013 at 1:15 | |||||
May 18, 2013 at 14:12 | comment | added | David Carchedi | Very nice Marc! I'm glad this works for the continuous case too, where one does not have good covers. | |
May 18, 2013 at 11:32 | history | edited | Marc Hoyois | CC BY-SA 3.0 |
added 2 characters in body
|
May 18, 2013 at 10:15 | history | answered | Marc Hoyois | CC BY-SA 3.0 |