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