Given a dg operad P and a dg cooperad C, we first explain how to equip Hom(C,P) with a dg (pre-)Lie algebra structure.
We then construct the operadic bar and cobar functors between the categories of augmented dg operads and coaugmented
conilpotent dg cooperads and show that they define an adjunction, which is precisely given by the Maurer-Cartan elements
of Hom(C,P).
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/4234
[3] https://www.mpim-bonn.mpg.de/de/node/9358
[4] https://www.mpim-bonn.mpg.de/de/node/9434/program?page=last
[5] https://www.mpim-bonn.mpg.de/de/node/9434/abstracts