Rectification of enriched infinity-categories

Abstract

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categorical enrichment are equivalent to those of more familiar versions of these objects. In the latter case we also include a direct comparison with complete n-fold Segal spaces. Along the way we prove a comparison result for fibrewise simplicial localizations potentially of independent use.

52 pages, v3: accepted version, v4: fixed a TeX issue

References in corpus (2)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Homotopy theory of non-symmetric operads

Cited by in corpus (13)

• Iterated spans and classical topological field theories
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Admissibility and rectification of colored symmetric operads
• Topological Fukaya category and mirror symmetry for punctured surfaces
• Comparison of models for $(\infty ,n)$-categories, II
• The intersection motive of the moduli stack of shtukas
• Yoneda lemma for enriched infinity categories
• Dwyer-Kan localization revisited
• A bivariant Yoneda lemma and $(\infty ,2)$-categories of correspondences
• On rectification and enrichment of infinity properads
• Enriched quasi-categories and the templicial homotopy coherent nerve
• Homotopy theories of $(\infty ,\infty )$-categories as universal fixed points with respect to enrichment
• Combinatorial model categories are equivalent to presentable quasicategories