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

Publication date 4 September 2020

Abstract: We show that an

i n f t y

-category

m a t h c a l M

with a closed left action of a monoidal

i n f t y

-category

m a t h c a l V

is completely determined by the

m a t h c a l V

-valued graph of morphism objects resulting from closedness of the action equipped with the structure of a

m a t h c a l V

-enrichment in the sense of Gepner-Haugseng. We prove a similar result when

m a t h c a l M

is a

m a t h c a l V

-enriched

i n f t y

-category in the sense of Lurie, an operadic generalization of the notion of

i n f t y

-category with closed left action. Precisely, we prove that sending a

m a t h c a l V

-enriched

i n f t y

-category in the sense of Lurie to the

m a t h c a l V

-valued graph of morphism objects refines to an equivalence

c h i

between the

i n f t y

-category of

m a t h c a l V

-enriched

i n f t y

-categories in the sense of Lurie and of Gepner-Haugseng. Moreover if

m a t h c a l V

is a presentably

k + 1

-monoidal

i n f t y

-category for

1 l e q k l e q i n f t y

, we prove that

c h i

restricts to a lax

k

-monoidal functor between the

i n f t y

-category of left

m a t h c a l V

-modules in

m a t h r m {P r}^{L}

, the symmetric monoidal

i n f t y

-category of presentable

i n f t y

-categories, endowed with the relative tensor product, and the tensor product of

m a t h c a l V

-enriched

i n f t y

-categories of Gepner-Haugseng. As an application of our theory we construct a lax symmetric monoidal embedding of the

i n f t y

-category of small stable

i n f t y

-categories into the

i n f t y

-category of small spectral

i n f t y

-categories. As a second application we produce a Yoneda-embedding for Lurie's notion of enriched

i n f t y

-categories.

This page was built for publication: An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action