Related papers: Properadic homotopical calculus

We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…

We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and…

To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an…

From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over…

In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…

A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…

In this paper we show that a strongly homotopy commutative (or $C_\infty$-) algebra with an invariant inner product on its cohomology can be uniquely extended to a symplectic $C_\infty$-algebra (an $\infty$-generalisation of a commutative…

Based on invariant algebras, we introduce representations$^{6-th}$ of Lie algebras and representations$^{< 4-th>}$ of Leibniz algebras, give the extended P-B-W Theorems in the context of the new representations of Lie algebras and Leibniz…

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…

We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a…

We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…

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…

The search for algebraic foundations of colour-kinematics duality and the double-copy construction has brought into focus a generalization of Batalin--Vilkovisky algebras, referred to here as coexact BV-algebras and as…

In this paper we prove that the structure of strong homotopy properad transfers over left homotopy inverses and give explicit formulae for the induced structure.

We give a proof of the Homotopy Transfer Theorem following Kadeishvili's original strategy. Although Kadeishvili originally restricted himself to transferring a dg algebra structure to an $A_\infty$-structure on homology, we will see that a…

The perturbation lemma and the homotopy transfer for L-infinity algebras is proved in a elementary way by using a relative version of the ordinary perturbation lemma for chain complexes and the coalgebra perturbation lemma.

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…

We give a general treatment of the master equation in homotopy algebras and describe the operads and formal differential geometric objects governing the corresponding algebraic structures. We show that the notion of Maurer-Cartan twisting…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We define and study the cohomology theories associated to A-infinity algebras and cyclic A-infinity algebras equipped with an involution, generalising dihedral cohomology to the A-infinity context. Such algebras arise, for example, as…