Abstract:We show that an $\infty$-category $\mathcal{M}$ with a closed left action of a monoidal $\infty$-category $\mathcal{V}$ is completely determined by the $\mathcal{V}$-valued graph of morphism objects equipped with the structure of a $\mathcal{V}$-enrichment in the sense of Gepner-Haugseng. We prove a similar result when $\mathcal{M}$ is a $\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 $\mathcal{V}$-enriched $\infty$-category in the sense of Lurie to the $\mathcal{V}$-valued graph of morphism objects refines to an equivalence $\chi$ between the $\infty$-category of $\mathcal{V}$-enriched $\infty$-categories in the sense of Lurie and of Gepner-Haugseng. Moreover if $\mathcal{V}$ is a presentably $\mathbb{E}_{\mathrm{k+1}}$-monoidal $\infty$-category for $1 \leq k \leq \infty$, we prove that $\chi$ restricts to a lax $\mathbb{E}_{\mathrm{k}}$-monoidal functor between the $\infty$-category of left $\mathcal{V}$-modules in $\mathrm{Pr}^L$, the symmetric monoidal $\infty$-category of presentable $\infty$-categories, endowed with the relative tensor product, and the tensor product of $\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.

Enriched Sets and Higher Categories

On bi-enriched $\infty$-categories

Enriched indexed categories

Univalent Enriched Categories and the Enriched Rezk Completion

Introductory notes on real-enriched categories

Implication Structures, Fuzzy Subsets, and Enriched Categories

$R\text{-}\mathrm{Mod}$-enriched categories are left $\underline{R}$-module objects of $Cat(\mathbb{A}\mathrm{b})$ and $Cat(\mathbb{A}\mathrm{b})$-enriched functors

Injective and Projective Model Structures on Enriched Diagram Categories

Enriched homotopy-coherent structures

Enriched monoidal categories I: centers

An Equivalence Between Two Models of -Categories of Enriched Presheaves

On Enriched Fibrations

Enriched cofibration categories

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

$\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

Locally bounded enriched categories

Metric enrichment, finite generation, and the path comonad

Smyth complete real-enriched categories

Drinfeld center of enriched monoidal categories

Enriched Grothendieck topologies under change of base

Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment