Small-limit conjecture for presentable n-categories

About 6 years old · traced to

Let n≥0n\geq 0. The category nPr⁡Ln\operatorname{Pr}^L denotes the category of presentable nn-categories and left adjoint functors.

Small-limit conjecture. The category nPr⁡Ln\operatorname{Pr}^L has all small limits for all n≥0n\geq 0.

This is presented as a closure property expected for the world of presentable nn-categories, extending the corresponding stability properties of presentable 11-categories. The supplied text gives no resolution of the claim.

References

Primary source

Germán Stefanich, “Presentable (, n)-categories”, arXiv:2011.03035 (2020).

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.