tool in his proof of the hyperbolization of Haken 3-manifolds. Our main aims are to explain most of the topology of orbifolds but to explain the geometric structure theory only for 2-dimensional orbifolds, including their Teichmüller (Fricke) spaces. We tried to collect the theory of orbifolds scattered in various literatures for our purposes. Here, we set out to write down the traditional approach to orbifolds using charts, and we include the categorical definition using groupoids. We will also maintain a collection of illustrative MathematicaTM packages at our homepages.

Hide more