Small-limit conjecture for presentable n-categories

Let n0n\geq 0. The category nPrLn\operatorname{Pr}^L denotes the category of presentable nn-categories and left adjoint functors.

Small-limit conjecture. The category nPrLn\operatorname{Pr}^L has all small limits for all n0n\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.

Sources & referencesView supporting material

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.