added homology theory to exchangeable pairs section