The antifield-BRST formalism and the various cohomologies associated w
ith it are surveyed and illustrated in the context of Yang-Mills gauge
theory. In particular, the central role played by the Koszul-Tate res
olution and its relation to the characteristic cohomology are stressed
.