Cellular cohomology (source code)

= Cellular cohomology
{title2=$H^q_{\mathrm{cell}}(X;A)\cong H^q(X;A)$}

The <cohomology> of the <cellular cochain complex> naturally agrees with singular cohomology. A <CW complex> with no odd cells has zero cellular differentials and free integral cohomology on its even cells, although its <cup product> still requires a separate computation.