The enriched presheaf conjecture for presentable monoidal infinity-categories

About 8 years old · traced to

Let V\mathcal{V} be a presentable, closed monoidal ∞\infty-category. Write Cat⁡V\operatorname{Cat}^{\mathcal{V}} for the ∞\infty-category of V\mathcal{V}-enriched categories and RMod⁡V(Pr⁡L)⋆\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

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

embeds as a full subcategory of

RMod⁡V(Pr⁡L)⋆.\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.

References

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.