English

An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action

Algebraic Topology 2023-07-24 v5 Category Theory

Abstract

We show that an \infty-category M\mathcal{M} with a closed left action of a monoidal \infty-category V\mathcal{V} is completely determined by the V\mathcal{V}-valued graph of morphism objects equipped with the structure of a V\mathcal{V}-enrichment in the sense of Gepner-Haugseng. We prove a similar result when M\mathcal{M} is a V\mathcal{V}-enriched \infty-category in the sense of Lurie, an operadic generalization of the notion of \infty-category with closed left action. Precisely, we prove that sending a V\mathcal{V}-enriched \infty-category in the sense of Lurie to the V\mathcal{V}-valued graph of morphism objects refines to an equivalence χ\chi between the \infty-category of V\mathcal{V}-enriched \infty-categories in the sense of Lurie and of Gepner-Haugseng. Moreover if V\mathcal{V} is a presentably Ek+1\mathbb{E}_{\mathrm{k+1}}-monoidal \infty-category for 1k1 \leq k \leq \infty, we prove that χ\chi restricts to a lax Ek\mathbb{E}_{\mathrm{k}}-monoidal functor between the \infty-category of left V\mathcal{V}-modules in PrL\mathrm{Pr}^L, the symmetric monoidal \infty-category of presentable \infty-categories, endowed with the relative tensor product, and the tensor product of V\mathcal{V}-enriched \infty-categories of Gepner-Haugseng. As an application of our theory we construct a lax symmetric monoidal embedding of the \infty-category of small stable \infty-categories into the \infty-category of small spectral \infty-categories. As a second application we produce a Yoneda-embedding for Lurie's notion of enriched \infty-categories.

Keywords

Cite

@article{arxiv.2009.02428,
  title  = {An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action},
  author = {Hadrian Heine},
  journal= {arXiv preprint arXiv:2009.02428},
  year   = {2023}
}
R2 v1 2026-06-23T18:19:46.514Z