Categoricity And Covering Spaces