We present definitions of homology groups $H_n(p)$, $n\ge 0$, associated to a complete type $p$. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group $H_2(p)$ for strong types in stable theories and show that any profinite abelian group can occur as the group $H_2(p)$.
"Homology groups of types in model theory and the computation of $H_2(p)$." J. Symbolic Logic 78 (4) 1086 - 1114, December 2013. https://doi.org/10.2178/jsl.7804040