This work studies the quantization of gauge theories in the sense of the Batalin-Vilkovisky (BV) formalism by using the language of dg-manifolds, introduced initially by Schwarz, Kontsevich, et. al., and some mathematical ...