Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads (Q2344279)

The authors set up a general theory of \(\infty\)-categories enriched in monoidal \(\infty\)-categories. This \(\infty\)-category approach can be applied to the derived \(\infty\)-category of a category of modules, in order to get a homotopical version of the classical notion of a dg-category, and to the \(\infty\)-category of spectra, in order to get a homotopical version of the notion of a category enriched in spectra. The authors actually prove that Lurie's stable \(\infty\)-categories are categories enriched in the \(\infty\)-category of spectra in their sense. The notion of an enriched \(\infty\)-category defined in this paper naturally consists of a space of objects together with hom-objects equipped with composition operations which are unital and associative up to homotopy, just like the tensor products of the monoidal \(\infty\)-categories in which these hom-objects are defined. In a first step, the authors use a non-symmetric counterpart of Lurie's theory of \(\infty\)-operad in order to associate an \(\infty\)-category of enriched \(\infty\)-categories \(\mathrm{Alg}_{\mathrm{cat}}(\mathcal{V})\) to any monoidal \(\infty\)-category \(\mathcal{V}\). Then they define the homotopy theory of \(\mathcal{V}\)-enriched \(\infty\)-categories as a localization of this \(\infty\)-category \(\mathrm{Alg}_{\mathrm{cat}}(\mathcal{V})\) with respect to the class of fully faithful and essentially surjective functors. They prove that this localization is actually identified with the full subcategory of \(\mathrm{Alg}_{\mathrm{cat}}(\mathcal{V})\) spanned by the \(\mathcal{V}\)-enriched \(\infty\)-categories whose space of objects is equivalent to the classifying space of their equivalences. This construction gives a notion of enriched \(\infty\)-category which is functorial with respect to the lax monoidal \(\infty\)-functors between monoidal \(\infty\)-categories. Furthermore, the authors prove that their \(\infty\)-category of enriched \(\infty\)-categories is equipped with internal hom-objects which give \(\infty\)-categories of enriched functors between enriched \(\infty\)-categories with the correct homotopy type. To give first examples of applications of their theory, the authors also explain a definition of the notion of an \((n,k)\)-category in terms of enriched \(\infty\)-categories, and they give a proof of the Baez-Dolan stabilization in this setting.