Complexe de Cochaînes
Définition
Une suite graduée de groupes ou modules de cochaînes C^n munie d'applications de cobord δ^n : C^n → C^{n+1} vérifiant δ^{n+1} ∘ δ^n = 0 ; la cohomologie H^n = ker δ^n / im δ^{n-1} mesure des obstructions duales à l'homologie des chaînes.