This talk is an overview of why gauge theories have interested philosophers and how recent mathematical work on the renormalization of gauge theories is relevant to that interest. I start by sketching the background assumptions in philosophy of mathematics that make gauge theories puzzling. I then describe some of the reactions to these puzzles. Finally, I discuss how these puzzles look in light of recent trends in work on renormalization in the BV-BRST formalism.