properad

If a properad 𝒫 is in addition equipped with a map from the properad governing Lie bialgebras (or graded versions thereof), then we define a notion of 𝒫-graph complex, of stable 𝒫-graph complex and a certain operad, that is in good cases an E_d operad.