Presentability of limit- and filtered-colimit-closed full subcategories

Let C\mathcal{C} be a presentable \infty-category and let C0C\mathcal{C}_0\subseteq\mathcal{C} be a full subcategory. Suppose that C0\mathcal{C}_0 is closed under small limits and κ\kappa-filtered colimits for some regular cardinal κ\kappa. Presentability conjecture. Then C0\mathcal{C}_0 is presentable. For ordinary presentable categories this was proved, while the corresponding assertion for presentable \infty-categories is expected to hold although the classical proof does not generalize straightforwardly.

Sources & referencesView supporting material

Primary source

Lior Yanovski, “The Monadic Tower for -Categories”, arXiv:2104.01816 (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.