Given a cotriple 𝔾 = (G, e, δ) on a category X and a functor E:X Opp→A into an abelian category A, there exists the cohomology theory of Barr and Beck: Hn(X, E) e |A| (n ≥ 0, X e |X|), ([1], p.249). Almost all the important cohomology theories in mathematics have been shown to be special instances of such a general theory (see [1], [2] and [3]). Usually E arises from an abelian group object Y in X in the following manner: it is the contravariant functor from X into the category Ab of abelian groups that associates to each object X in X the abelian group X(X, Y) of maps from X to Y. In such a situation we shall write Hn(X, Y)𝔾 instead of Hn(X, E)G. Barr and Beck [2] have shown that the Eilenberg-MacLane cohomology groups Hn(π, A), n ≥ 2, can be re-captured as follows. One considers the free group cotriple 𝔾′ on the category Gps of groups, which induces in a natural manner a cotriple 𝔾 on the category (Gps, π) of groups over a fixed group π.