The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc.
Where is there written a corresponding formula incorporating the differential of
a dg Lie algebra and module?
This post imported from StackExchange MathOverflow at 2015-03-13 13:49 (UTC), posted by SE-user Jim Stasheff