Skip to main content
9 events
when toggle format what by license comment
Oct 10, 2017 at 1:24 comment added Jacob Lurie @Yonatan It's not part of the definition, but it does happen automatically (every topos can be realized as the category of sheaves with respect to the canonical topology on itself).
Oct 9, 2017 at 11:15 comment added Yonatan Harpaz Right, I see what you mean about hypercoverings. But what about filtered colimits? Shouldn't we take only sheaves which send filtered colimits to limits (or is this built into the definition of the canonical Grothendieck topology on ${\cal X}$)?
Oct 9, 2017 at 0:30 comment added Jacob Lurie @Yonatan I would say that the $\infty$-topos analogue of the unseparated derived category is the construction which carries a $1$-topos $\mathcal{X}$ to the $\infty$-category of space-valued sheaves on $\mathcal{X}$, where you equip $\mathcal{X}$ with the canonical Grothendieck topology. So the universal property is: coproducts go to coproducts, and Cech nerves of effective epimorphisms go to colimit diagrams. (If you ask this for general hypercoverings, you get the $\infty$-topos of hypercomplete sheaves. This is more like the analogue of the usual derived category.)
Oct 8, 2017 at 18:40 comment added Yonatan Harpaz Thanks! This is indeed cool. I suppose the same thing happens with $\infty$-topoi, no? i.e., if ${\cal X}$ is a topos, or a 1-topos, then I imagine that the $\infty$-topos ${\cal X}_{\infty}$ "generated" from ${\cal X}$ has a universal property both as an $\infty$-topos and as a presentable $\infty$-category: colimit preserving functors from ${\cal X}_{\infty}$ to a given presentable $\infty$-category ${\cal C}$ are the same (?) as functors ${\cal X} \to {\cal C}$ which preserve filtered colimits and send hypercoverings to geometric realizations.
Oct 8, 2017 at 14:55 comment added Jacob Lurie @Denis: I don't see how say anything about that (except in the case where $\mathcal{C}$ is stable with a nice t-structure, and the functors are required to be right t-exact).
Oct 8, 2017 at 9:09 vote accept Yonatan Harpaz
Oct 8, 2017 at 8:45 comment added Denis Nardin This is very cool. Can we derive a universal property for $\mathcal{D}(\mathcal{A})$ out of this? Said differently, can we describe which functors $\mathcal{A}\to \mathcal{C}$ correspond to functors from $\check{\mathcal{D}}(\mathcal{A})$ sending acyclic complexes to 0?
Oct 7, 2017 at 19:10 history edited Jacob Lurie CC BY-SA 3.0
Added some missing subscripts and coproduct-preservation hypotheses that I think are needed when the target category is not prestable.
Oct 6, 2017 at 22:07 history answered Jacob Lurie CC BY-SA 3.0