Polyak sections 3.1-3.3. Gauge fixing, Faddeev-Popov ghost, Cattaneo section 12.2. BRST cohomology