Orbifold

Un orbifold est un espace topologique (ou objet plus structuré) localement modélisé sur le quotient de l'espace euclidien R^n par l'action d'un groupe fini ; les cartes enregistrent les groupes d'isotropie locaux de sorte que les points singuliers ont des stabilisateurs finis bien définis.