Loubaton's characterization of the image of the right adjoint embedding

From papers

Let R ⁣:\CatL\CatR\colon \Cat^L_\infty\hookrightarrow \Cat_\infty be the embedding of the category of presentable \infty-categories and colimit-preserving functors into the category of \infty-categories, and let an \infty-category be ω\omega-complete when it satisfies the relevant completeness condition described in the paper. Loubaton's conjecture. The image of the embedding

R ⁣:\CatL\CatR\colon \Cat^L_\infty\hookrightarrow \Cat_\infty

consists precisely of the \infty-categories that are ω\omega-complete. This would make the necessary criterion established earlier sufficient and identify the example of the universal obstruction to a coinductively complete \infty-category lying in the image of RR; the source provides no resolution of the conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

Viktoriya Ozornova, Martina Rovelli and Tashi Walde, “Cores and localizations of (,)-categories”, arXiv:2603.11005 (2026).

Solutions 0

No solutions have been posted yet.