From homotopy operads to infinity-operads (original) (raw)
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category of infinity-operads. The former notion, that we make precise, is the operadic generalization of the notion of A-infinity-categories and the latter notion was defined by Moerdijk-Weiss in order to generalize the simplicial notion of infinity-category of Joyal-Lurie. This functor extends in two directions the simplicial nerve of Faonte-Lurie for A-infinity-categories and the homotopy coherent nerve of Moerdijk-Weiss for differential graded operads; it is also shown to be equivalent to a big nerve à la Lurie for differential graded operads. We prove that it satisfies some homotopy properties with respect to weak equivalences and fibrations; for instance, it is shown to be a right Quillen functor.
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
Algebraic operads up to homotopy
arXiv: Algebraic Topology, 2017
This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen equivalent to that of operads. This allows us to describe the homotopy properties of differential graded operads in a simpler and richer way, using obstruction methods.
From operator categories to higher operads
Geometry & Topology
In this paper we introduce the notion of an operator category and two different models for homotopy theory of ∞-operads over an operator category-one of which extends Lurie's theory of ∞-operads, the other of which is completely new, even in the commutative setting. We define perfect operator categories, and we describe a category Λ(Φ) attached to a perfect operator category Φ that provides Segal maps. We define a wreath product of operator categories and a form of the Boardman-Vogt tensor product that lies over it. We then give examples of operator categories that provide universal properties for the operads An and En (1 ≤ n ≤ +∞), as well as a collection of new examples. Contents 0. Introduction 1. Operator categories 2. Complete Segal operads 3. Wreath products 4. Perfect operator categories 5. The canonical monad on a perfect operator category 6. Leinster categories 7. Quasioperads and their algebras 8. Boardman-Vogt tensor products and weak algebras 9. Boardman-Vogt tensor products and ∞-algebras 10. Complete Segal operads versus quasioperads 11. Some examples of complete Segal Φ-monoids Appendix A. A proof of Th. 8.12 Appendix B. A proof of Th. 5.10 Appendix C. A proof of Th. 5.18 References
An infinity operad of normalized cacti
Topology and its Applications
We endow the normalized cacti with the structure of an ∞-operad by showing that its existing composition laws are associative up to all higher homotopies. The higher homotopies are encoded by a new topological operad of bracketed trees which we relate both to an enrichment of the dendroidal category Ω and to the Boardman-Vogt W-construction on the operad of operads. 2.1. Trees 5 2.2. The dendroidal category Ω 7 2.3. The operad of operads 8 2.4. The relationship between operads and dendroidal spaces 3. The operad of brackets BO 3.1. Bracketings of trees 3.2. An operad of bracketings 3.3. BO-algebras 4. Thickening the category Ω 4.1. Bracketing Ω and the category Ω 0 4.2. Homotopy dendroidal spaces 4.3. Rectifying homotopy dendroidal spaces 5. Normalized Cacti as an infinity operad 5.1. An operad M S + that contains Cact 1 5.2. Cact 1 is a BO-algebra 6. Relation between the operads BO and W O 6.1. The W-Construction 6.2. A variant on the W-construction 6.3. BO-algebras are strictly symmetric lax operads 6.4. Proof of Theorem 6.4 Appendix A. The explosion category of Ω A.1. The explosion of Ω A.2. The relationship between Ω and Ω 0 A.3. W O-algebras as Ω-diagrams References 2. Preliminaries on Operads A symmetric sequence in a symmetric monoidal category S is a collection P = {P(k)} k≥0 of objects in S in which each P(k) comes equipped with an action of the symmetric group Σ k. In this paper, our symmetric monoidal category S will either be the discrete category of sets, the category of simplicial sets, or the category of topological spaces with their standard Cartesian products. An operad in S is a symmetric sequence P = {P(k)} k≥0 together with a distinguished element ι ∈ P(1), called the unit, and a collection of composition maps • i : P(k) × P(j) P(k + j − 1),
A pr 2 00 3 Axiomatic homotopy theory for operads
2003
We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.
and Ieke Moerdijk. Resolution of coloured operads and rectification of homotopy algebras
2012
We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model structure, and prove a Comparison Theorem to the effect that a weak equivalence between suitable such operads induces a Quillen equivalence between their categories of algebras. We construct an explicit Boardman-Vogt style cofibrant resolution for coloured operads, thereby giving a uniform approach to algebraic structures up to homotopy over coloured operads. The Comparison Theorem implies that such structures can be rectified.
Curved A-infinity-categories : Adjunction and Homotopy
We develop a theory of curved A ∞-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A ∞-categories which generalizes the classical theory of uncurved A ∞-algebras. Furthermore, the theory is sufficiently general to treat both Fukaya categories and categories of matrix factorizations, as well as to provide a context in which unitification and categorification of pre-categories can be carried out. Our theory is built around two functors: the adjoint algebra functor U e and the functor Q *. The bulk of the paper is dedicated to proving crucial adjunction and homotopy theorems about these functors. In addition, we explore the non-vanishing of the module categories and give a precise statement and proof the folk result known as "Positselski-Kontsevich vanishing".
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.