  We introduce the concept of homotopy equivalence for Hopf Galois extensions
and make a systematic study of it. As an application we determine all H-Galois
extensions up to homotopy equivalence in the case when H is a Drinfeld-Jimbo
quantum group.
