Orbifold is like two euclidean spaces connected with each other. Impossible spaces (or if I understand your term "covering space") are an instance.
There are various things to handle, like AI seeing through portals/doors into other rooms/spaces. I use very simple point lighting - it works good enough but having dynamic shadows could be extremely complicated. Although light maps should be fairly easy.