Enriched $\infty$-operads

  title={Enriched \$\infty\$-operads},
  author={Hongyi Chu and Rune Haugseng},
  journal={arXiv: Algebraic Topology},
In this paper we initiate the study of enriched $\infty$-operads. We introduce several models for these objects, including enriched versions of Barwick's Segal operads and the dendroidal Segal spaces of Cisinski and Moerdijk, and show these are equivalent. Our main results are a version of Rezk's completion theorem for enriched $\infty$-operads: localization at the fully faithful and essentially surjective morphisms is given by the full subcategory of complete objects, and a rectification… 
4 Citations

Algebras for enriched $\infty$-operads.

Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For

Linear Batalin–Vilkovisky quantization as a functor of $$\infty $$∞-categories

We study linear Batalin–Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we

Goerss--Hopkins obstruction theory for $\infty$-categories

Goerss--Hopkins obstruction theory is a powerful tool for constructing structured ring spectra from purely algebraic data. Using the formalism of model $\infty$-categories, we provide a

Lie algebras and vn-periodic spaces

We consider a homotopy theory obtained from that of pointed spaces by inverting the maps inducing isomorphisms in $v_n$-periodic homotopy groups. The case n = 0 corresponds to rational homotopy



From operator categories to higher operads

In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of

Koszul duality of En-operads

The goal of this paper is to prove a Koszul duality result for En-operads in differential graded modules over a ring. The case of an E1-operad, which is equivalent to the associative operad, is

Dendroidal Segal spaces and ∞‐operads

We introduce the dendroidal analogues of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the

Bar constructions for topological operads and the Goodwillie derivatives of the identity

We describe a cooperad structure on the simplicial bar construction on a reduced operad of based spaces or spectra and, dually, an operad structure on the cobar construction on a cooperad. We also

Two models for the homotopy theory of ∞ ‐operads

We compare two models for ∞ ‐operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the


Dedicated to Ross Street on the occasion of his 60th birthday Abstract. We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model

Bar–cobar duality for operads in stable homotopy theory

We extend bar–cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen

Operads, Algebras and Modules in General Model Categories

In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version

Admissibility and rectification of colored symmetric operads

We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, that is, the category of algebras over any operad