Coba jelasin Variasi hasil bagi dari Grupoid dong

Dalam , grup hingga dimana  yang memetakan ke  diberikan aksi grup  (karena ini adalah grup automorfisme). Kemudian, grupoid hasil bagi dibentuk , yang memiliki satu titik dengan stabilizer . Contoh membentuk dasar teori orbifold. Keluarga orbifold lain yang umum dipelajari adalah ruang proyektif berbobot  dan subruangnya, dengan orbifold Calabi-Yau.