Cellular cochain complex
ID: cellular-cochain-complex
For a CW complex, applying to its integral cellular chain complex gives a cochain complex. The differential is precomposition with the cellular boundary. For finitely many cells it is represented by the transpose of the boundary matrix, reduced in the coefficient group when appropriate.
New to topics? Read the docs here!