I am going to speak about group cohomology and Galois cohomology, but I am inspired by category theory. I will explain everything, in particular what is H^1(Γ, G), when Γ is a profinite group acting on a nonabelian discrete group G.