homotopy: mention covering spaces