The enriched presheaf conjecture for presentable monoidal infinity-categories

Let V\mathcal{V} be a presentable, closed monoidal \infty-category. Write CatV\operatorname{Cat}^{\mathcal{V}} for the \infty-category of V\mathcal{V}-enriched categories and RModV(PrL)\operatorname{RMod}_{\mathcal{V}}(\operatorname{Pr}^L)_\star for the \infty-category of presentable right V\mathcal{V}-modules with some distinguished objects. Enriched presheaf conjecture. The \infty-category

CatV\operatorname{Cat}^{\mathcal{V}}

embeds as a full subcategory of

RModV(PrL).\operatorname{RMod}_{\mathcal{V}}(\operatorname{Pr}^L)_\star.

This conjecture would reduce enriched higher category theory to presentable \infty-categories and make enriched \infty-categories more usable in areas such as secondary algebraic K-theory and algebraic K-theory of analytic rings. The source presents it as conjectured by experts and gives no resolution.

Sources & referencesView supporting material

Primary source

John D. Berman, “Enriched infinity categories I: enriched presheaves”, arXiv:2008.11323 (2020).

Additional references

2 papers in this index state this conjecture (2018–2020). The statement above is taken from the most recent of them; the others are arXiv:1805.08745.

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.