Cisinski-style conjecture on cellularly generated localisers being sketchable

Let CC be an \infty-category, and let W(Cat ⁣\sliceC)Δ1W\subseteq (\operatorname{Cat}\!\slice C)^{\Delta^1} be a set of maps satisfying three conditions: it is stable under 2-out-of-3 and retracts; it contains every map [ω:\pointIUC][\omega:\point\rightarrow I\stackrel{U}{\rightarrow} C] when II has final object ω\omega; and whenever IhJKCI\stackrel{h}{\rightarrow} J\rightarrow K\rightarrow C has [h\slicek:I\slicekJ\slicekC]W[h\slice k:I\slice k\rightarrow J\slice k\rightarrow C]\in W for every k:Kk:K, one has hWh\in W. Suppose moreover that WW is of cellular generation, meaning that it is minimal among sets of maps of diagrams containing a small subset of W(Cat ⁣\conesliceC)W\cap(\operatorname{Cat}\!\coneslice C) and satisfying these three properties. Cisinski-style sketchability conjecture. Then WW is the set of weak equivalences for a sketch on CC. This proposes a converse to the sketchability criterion, extending Cisinski's work on fundamental localisers; its resolution is not supplied here.

Sources & referencesView supporting material

Primary source

Andrew W. Macpherson, “Adjoining colimits”, arXiv:2111.12117 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.