These notes give an introduction to the mathematical framework of the Batalin–Vilkovisky and Batalin–Fradkin–Vilkovisky formalisms.

中文翻译：

---

BV-BFV 形式主义简介

这些笔记介绍了 Batalin-Vilkovisky 和 ​​Batalin-Fradkin-Vilkovisky 形式主义的数学框架。