The doubly-presentable dualizable-object presentability conjecture

Let P\mathcal P be a “doubly-presentably” symmetric monoidal (,2)(\infty,2)-category. The (,1)(\infty,1)-category Pdbl\mathcal P^{\mathrm{dbl}} of dualizable objects and P\mathcal P-internal left adjoints therein is defined by taking the dualizable objects and internal left adjoints in P\mathcal P. Doubly-presentable dualizable-object presentability conjecture. The (,1)(\infty,1)-category Pdbl\mathcal P^{\mathrm{dbl}} is presentable. This is a meta-conjecture because the notion of a “doubly-presentably” symmetric monoidal (,2)(\infty,2)-category is not yet well-defined; the paper notes that ModV(PrL)\mathbf{Mod}_\mathcal V(\mathbf{Pr}^{\mathrm{L}}) and PrXL\mathbf{Pr}^{\mathrm{L}}_\mathcal X are intended examples.

Sources & referencesView supporting material

Primary source

Maxime Ramzi, “Dualizable presentable -categories”, arXiv:2410.21537 (2024).

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.