Loubaton's characterization of the image of the right adjoint embedding
Let be the embedding of the category of presentable -categories and colimit-preserving functors into the category of -categories, and let an -category be -complete when it satisfies the relevant completeness condition described in the paper. Loubaton's conjecture. The image of the embedding
consists precisely of the -categories that are -complete. This would make the necessary criterion established earlier sufficient and identify the example of the universal obstruction to a coinductively complete -category lying in the image of ; 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
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.