Timeline for $\infty$-local systems
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2021 at 20:51 | comment | added | Denis Nardin | However I do not understand why the category of hypersheaves with locally constant cohomology is equivalent to the category of locally constant sheaves of complexes. I can imagine that every $H_n$ is constant on some open neighborhood $U_n$ of a point but $\bigcap_n U_n$ is not a neighborhood of the point.. | |
| Sep 12, 2021 at 16:46 | comment | added | Denis Nardin | Note that by corollary A.1.17 in ibid. you don't even need to assume $\mathrm{Shv}(X)$ hypercomplete, since locally constant objects are automatically hypercomplete in an ∞-topos of locally constant shape. | |
| Sep 12, 2021 at 11:19 | history | answered | Dan Petersen | CC BY-SA 4.0 |