$\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories are left $R$-module objects of $\mathcal{C}at^{\mathcal{V}}$ and $\mathcal{C}at^{\mathcal{V}}$-enriched $\infty$-functors
Abstract
We investigate -enriched -categories, where is an -ring in a presentable -monoidal -category , using -enriched -category theory. We prove the equivalence of (the -category of -enriched -categories) and (left -modules in ). For an -ring in a presentable -monoidal -category, they are also equivalent to , where is the "-delooping". This result generalizes: if is an -ring in a presentable -monoidal -category, -categories enriched in are equivalent to -modules in -enriched -categories, where is the "-delooping". A notable case is and , the Eilenberg-MacLane spectrum of a commutative ring . In this case, the results provide two new descriptions of the -category of dg-categories over , a key object in derived algebraic geometry.
Keywords
Cite
@article{arxiv.2406.15884,
title = {$\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories are left $R$-module objects of $\mathcal{C}at^{\mathcal{V}}$ and $\mathcal{C}at^{\mathcal{V}}$-enriched $\infty$-functors},
author = {Matteo Doni},
journal= {arXiv preprint arXiv:2406.15884},
year = {2025}
}
Comments
In Theorem 6.1, R must be E2 instead of E1. The above error also affects Corollary 6.3, making it incorrect as well