Just a random thought here: Can cohomology theories (e.g. sheaf cohomology) on the stone space S(T) of a first-order theory T tell us anything interesting? Is there any result in model theory that is obtained (most easily) by this kind of application of cohomology theories? Thanks!