for spaces satisfying the usual local conditions. This also leads to a family of Mayer-Vietoris type exact sequences for a pullback of coverings, which contains the most common uses, including double cosets.
Thanks for pointing this out, Ronnie. I think there are several different treatments of this material – there's also a related paper by Bass. This arose out of reading the work of Wise.