Stefanich's conjecture on limits of presentable n-categories
Let be the -category of presentable -categories, defined as the filtered colimit
where is the category of -compactly generated -categories, for regular cardinals . Stefanich's conjecture. The -category has small limits for every . This problem was widely open and was posed by Stefanich as Conjecture 5.5.1; the supplied text gives no resolution.
References
Primary source
Ko Aoki, “Higher presentable categories and limits”, arXiv:2510.13503 (2025).
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.