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

Less than 1 year old · traced to

Let R ⁣:\Cat∞L↪\Cat∞R\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 ⁣:\Cat∞L↪\Cat∞R\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.

References

Primary source

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

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.