1: \begin{abstract}

2: We present definitions of homology groups $H_n$, $n\ge 0$, associated to a family of ``amalgamation functors''. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group $H_2$ for strong types in stable theories and show that any profinite abelian group can occur as the group $H_2$ in the model-theoretic context.

3: \end{abstract}

4: