Introducing the Johnson-Wilson spectrum (Morava K-theory)
On unstable cohomology operations (hence: in non-abelian cohomology):