Loubaton's characterization of the image of the right adjoint embedding
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.
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
Sign in to submit a solution.
No solutions have been posted yet.