group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Integral cohomology or “ordinary cohomology” (see there) is the ordinary version of Whitehead-generalized cohomology, the one that is represented by the Eilenberg-MacLane spectrum $H \mathbb{Z}$ with coefficients in the integers.
Integral cohomology is best known maybe in its incarnation as singular cohomology or Čech cohomology with coefficients in the integers.
integral cohomology in degree 1 classifies complex line bundle;
integral cohomology in degree 2 classifies complex line bundle gerbe / line 2-bundles;
integral cohomology in degree $n$ classifies line n-bundles.
Discussion in homotopy type theory:
Guillaume Brunerie, Axel Ljungström, Anders Mörtberg, Synthetic Integral Cohomology in Cubical Agda, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 216 (2022) $[$doi:10.4230/LIPIcs.CSL.2022.11$]$
Last revised on June 15, 2022 at 17:13:50. See the history of this page for a list of all contributions to it.