Enriched $\infty$-categories via non-symmetric $\infty$-operads

Abstract

We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then ${\mathrm{Cat}}_{\infty }^{\mathcal{V}}$ is as well. These features render the theory useful even when an $\infty$-category of enriched $\infty$-categories comes from a model category (as is often the case in examples of interest, e.g. dg-categories, spectral categories, and $(\infty ,n)$-categories). This is analogous to the advantages of $\infty$-categories over more rigid models such as simplicial categories - for example, the resulting $\infty$-categories of functors between enriched $\infty$-categories automatically have the correct homotopy type. We construct the homotopy theory of $\mathcal{V}$-enriched $\infty$-categories as a certain full subcategory of the $\infty$-category of "many-object associative algebras" in $\mathcal{V}$. The latter are defined using a non-symmetric version of Lurie's $\infty$-operads, and we develop the basics of this theory, closely following Lurie's treatment of symmetric $\infty$-operads. While we may regard these "many-object" algebras as enriched $\infty$-categories, we show that it is precisely the full subcategory of "complete" objects (in the sense of Rezk, i.e. those whose space of objects is equivalent to its space of equivalences) which are local with respect to the class of fully faithful and essentially surjective functors. Lastly, we present some applications of our theory, most notably the identification of associative algebras in $\mathcal{V}$ as a coreflective subcategory of pointed $\mathcal{V}$-enriched $\infty$-categories as well as a proof of a strong version of the Baez-Dolan stabilization hypothesis.

arXiv commentAdded erratum

References in corpus (14)

• Higher Topos Theory
• Higher-dimensional Algebra and Topological Quantum Field Theory
• Dendroidal Sets
• Global homotopy theory
• Dendroidal sets and simplicial operads
• On the homotopy theory of enriched categories
• Models of G-spectra as presheaves of spectra
• Mapping spaces in Quasi-categories
• From operator categories to topological operads
• A unified framework for generalized multicategories
• On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories
• Segal Enriched Categories I
• Constructing model categories with prescribed fibrant objects
• Spectral Mackey functors and equivariant algebraic K-theory (I)

Cited by in corpus (53)

• On the classification of topological orders
• Nilpotence and descent in equivariant stable homotopy theory
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Iterated spans and classical topological field theories
• A note on the $(\infty ,n)$-category of cobordisms
• The higher Morita category of $E_n$-algebras
• Rectification of enriched infinity-categories
• Monochromatic homotopy theory is asymptotically algebraic
• Shifted Coisotropic Correspondences
• Ambidexterity and the universality of finite spans
• Univalence in locally cartesian closed infinity-categories
• Brauer groups and Galois cohomology of commutative ring spectra
• Derived complex analytic geometry I: GAGA theorems
• Condensations in higher categories
• Higher Semiadditive Algebraic K-Theory and Redshift
• The 2-dimensional stable homotopy hypothesis
• Yoneda lemma for enriched infinity categories
• $\infty$-Operads as Analytic Monads
• Bimodules and natural transformations for enriched $\infty$-categories
• Twisted iterated algebraic K-theory and topological T-duality for sphere bundles
• A bivariant Yoneda lemma and $(\infty ,2)$-categories of correspondences
• On lax transformations, adjunctions, and monads in $(\infty ,2)$-categories
• Free algebras through Day convolution
• Moduli of $p$-adic representations of a profinite group
• On rectification and enrichment of infinity properads
• Envelopes for Algebraic Patterns
• Categories of graphs for operadic structures
• The tangent bundle of a model category
• On the Commutative Algebra of Categories
• Enriched quasi-categories and the templicial homotopy coherent nerve
• An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action
• Goerss--Hopkins obstruction theory for $\infty$-categories
• Real K-theory for Waldhausen infinity categories with genuine duality
• Thom spectra, higher $THH$ and tensors in $\infty$-categories
• Homotopy theories of $(\infty ,\infty )$-categories as universal fixed points with respect to enrichment
• Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
• Yoneda's lemma for internal higher categories
• Higher sheaf theory I: Correspondences
• Yoneda Lemma for $\mathcal{D}$-Simplicial Spaces
• Pursuing Lax Diagrams and Enrichment
• Presentable $(\infty ,n)$-categories
• Categorical Moy-Prasad theory
• A local-global principle for parametrized $\infty$-categories
• A variant of algebraic K-theory
• The derived $\infty$-category of Frobenius modules
• Monoidal envelopes and Grothendieck construction for dendroidal Segal objects
• On duoidal $\infty$-categories
• A universal characterization of noncommutative motives and secondary algebraic K-theory
• Shadows are Bicategorical Traces
• Enhanced bivariant homology theory attached to six functor formalism
• Algebras for enriched $\infty$-operads
• Twisted Spectra Revisited
• Homotopy theory of Stokes data