(Slide 13)

A k-cochain is an element of the dual space of k-chains, that is, a linear function from the space of k-chains to G. When cell complexes are finite, as in the case of the computational complexes of chains, a k-cochain is representable by its values on a basis for the space of k-chains.