Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory

David Jaz Myers

Informally, an orbifold is a smooth space whose points may have finitely many internal symmetries. Formally, however, the notion of orbifold has been presented in a number of diffe…