Operadic Cobar Constructions, Cylinder Objects and Homotopy Morphisms of Algebras over Operads
نویسندگان
چکیده
The purpose of this paper is twofold. First, we review applications of the bar duality of operads to the construction of explicit cofibrant replacements in categories of algebras over an operad. In view toward applications, we check that the constructions of the bar duality work properly for algebras over operads in unbounded differential graded modules over a ring. In a second part, we use the operadic cobar construction to define explicit cyclinder objects in the category of operads. Then we apply this construction to prove that certain homotopy morphisms of algebras over operads are equivalent to left homotopies in the model category of operads.
منابع مشابه
Bimodules over Operads Characterize Morphisms
Let P be any operad. A P-bimodule R that is a P-cooperad induces a natural “fattening” of the category of P-(co)algebras, expanding the morphism sets while leaving the objects fixed. The morphisms in the resulting R-governed category of P-(co)algebras can be viewed as morphisms “up to R-homotopy” of P-(co)algebras. Let A denote the associative operad in the category of chain complexes. We defin...
متن کاملFeynman Diagrams and Minimal Models for Operadic Algebras
We construct an explicit minimal model for an algebra over the cobar-construction of a differential graded operad. The structure maps of this minimal model are expressed in terms of sums over decorated trees. We introduce the appropriate notion of a homotopy equivalence of operadic algebras and show that our minimal model is homotopy equivalent to the original algebra. All this generalizes and ...
متن کامل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 equivalence between the category of reduced operads of spectra (with the projective model structure) and a new model for the homotopy theory of cooperads of spectra. The crucial construction is of a ...
متن کاملCo-rings over Operads Characterize Morphisms
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in the category of P-bimodules. The co-ring R induces a natural “fattening” of the category of P-(co)algebras, expanding the morphism sets while leaving the objec...
متن کاملA∞-morphisms with Several Entries
We show that morphisms from n A∞-algebras to a single one are maps over an operad module with n+ 1 commuting actions of the operad A∞, whose algebras are conventional A∞-algebras. The composition of A∞-morphisms with several entries is presented as a convolution of a coalgebra-like and an algebra-like structures. Under these notions lie two examples of Cat-operads: that of graded modules and of...
متن کامل