2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61530The Koszul-Tate resolution is described in the context of the geometry of jet spaces and differential equations. The application due to Barnich, Brandt, and Henneaux of this resolution to computing the horizontal cohomology is analyzed. Relations with the Vinogradov spectral sequence are discussed.8 pages; v2: some comments addedDifferential GeometryHigh Energy Physics - TheoryMathematical PhysicsAnalysis of PDEsExactly Solvable and Integrable Systems58J70; 35A30; 81T70text