An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action
Abstract
We show that an -category with a closed left action of a monoidal -category is completely determined by the -valued graph of morphism objects equipped with the structure of a -enrichment in the sense of Gepner-Haugseng. We prove a similar result when is a -enriched -category in the sense of Lurie, an operadic generalization of the notion of -category with closed left action. Precisely, we prove that sending a -enriched -category in the sense of Lurie to the -valued graph of morphism objects refines to an equivalence between the -category of -enriched -categories in the sense of Lurie and of Gepner-Haugseng. Moreover if is a presentably -monoidal -category for , we prove that restricts to a lax -monoidal functor between the -category of left -modules in , the symmetric monoidal -category of presentable -categories, endowed with the relative tensor product, and the tensor product of -enriched -categories of Gepner-Haugseng. As an application of our theory we construct a lax symmetric monoidal embedding of the -category of small stable -categories into the -category of small spectral -categories. As a second application we produce a Yoneda-embedding for Lurie's notion of enriched -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}
}