Amalgamation functors and homology groups in model theory [article]

John Goodrick, Byunghan Kim, Alexei Kolesnikov
2011 arXiv   pre-print
We present definitions of homology groups 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 in this context, the class of possible groups H_2 is precisely the profinite abelian groups.
arXiv:1105.2921v1 fatcat:s3mhtpk7qnacppv5lwwhknwxzm