A singular -cochain with coefficients in an abelian group is a homomorphism from the singular chain group to . It is specified by its values on all singular simplices, without a finite-support restriction. Its coboundary evaluates on the alternating sum of the faces. The resulting cochain complex computes singular cohomology.
New to topics? Read the docs here!