# Introduction to the BV-BFV formalism

## TL;DR

This paper introduces the BV-BFV formalism, a mathematical framework for understanding gauge theories and their quantization, providing foundational insights and connecting different approaches in the field.

## Contribution

It offers an accessible introduction to the BV-BFV formalism, clarifying its mathematical structure and relevance in gauge theory quantization.

## Key findings

- Provides a comprehensive overview of BV-BFV formalism
- Connects BV and BFV formalisms in a unified framework
- Serves as an educational resource for researchers

## Abstract

These notes give an introduction to the mathematical framework of the Batalin-Vilkovisky and Batalin-Fradkin-Vilkovisky formalisms. Some of the presented content was given as a mini course by the first author at the 2018 QSPACE conference in Benasque.