Related papers: On a notion of homotopy Segal $ E_\infty $-Hopf co…
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of…
We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…
The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric…
We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…
The classical Hopf invariant is an invariant of homotopy classes of maps from $S^{4n-1} $ to $S^{2n}$, and is an important invariant in homotopy theory. The goal of this paper is to use the Koszul duality theory for $E_n$-operads to define…
The abelian category of tetramodules over an associative bialgebra $A$ is related with the Gerstenhaber-Schack (GS) cohomology as $Ext_\Tetra(A,A)=H_\GS(A)$. We construct a 2-fold monoidal structure on the category of tetramodules of a…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…
We study operads in unstable global homotopy theory, which is the homotopy theory of spaces with compatible actions by all compact Lie groups. We show that the theory of these operads works remarkably well, as for example it is possible to…
In math.AG/0207028 we began the study of higher sheaf theory (i.e. stacks theory) on higher categories endowed with a suitable notion of topology: precisely, we defined the notions of S-site and of model site, and the associated categories…
This article introduces a method, which starting from simple and quite general mathematical data, allows to construct linear algebras of operators which are, each of them, endowed with a bialgebra structure (coproduct and counity). Moreover…
In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $\Gamma$-spaces. The formalism of topological operads generalises well to different…
The theme of this article is the algebraic combinatorics of leaf-labeled rooted binary trees and forests of such trees. The structure of a Hopf operad is defined on the vector spaces spanned by forests of leaf-labeled, rooted, binary trees.…
We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…