Homotopy Batalin–Vilkovisky algebras
Homotopy Batalin–Vilkovisky algebras
This paper provides an explicit cofibrant resolution of the operad encoding Batalin–Vilkovisky algebras. Thus it defines the notion of homotopy Batalin–Vilkovisky algebras with the required homotopy properties. To define this resolution, we extend the theory of Koszul duality to operads and properads that are defined by quadratic and linear relations. …