Some last little bit of cleanup.

Author: Travis Scrimshaw

src/sage/categories/manifolds.py

@@ -10,8 +10,6 @@
 
 from sage.misc.abstract_method import abstract_method
 from sage.misc.cachefunc import cached_method
-from sage.misc.lazy_attribute import lazy_attribute
-from sage.misc.lazy_import import LazyImport
 from sage.categories.category_types import Category_over_base_ring
 from sage.categories.category_with_axiom import CategoryWithAxiom_over_base_ring
 from sage.categories.sets_cat import Sets
@@ -67,8 +65,8 @@ def additional_structure(self):
         Return ``None``.
 
         Indeed, the category of manifolds defines no new
-        structure: a morphism of metric spaces between manifolds
-        is a manifold morphism.
+        structure: a morphism of topological spaces between
+        manifolds is a manifold morphism.
 
         .. SEEALSO:: :meth:`Category.additional_structure`
 

src/sage/categories/metric_spaces.py

@@ -8,7 +8,6 @@
 #                  http://www.gnu.org/licenses/
 #******************************************************************************
 
-from sage.misc.abstract_method import abstract_method
 from sage.misc.cachefunc import cached_method
 from sage.categories.category import Category
 from sage.categories.category_with_axiom import CategoryWithAxiom
@@ -47,7 +46,7 @@ def default_super_categories(cls, category):
 
         Consider ``category=Groups()``. Then, a group `G` with a metric
         is simultaneously a topological group by itself, and a
-        topogological space::
+        metric space::
 
             sage: Groups().Metric().super_categories()
             [Category of topological groups, Category of metric spaces]

src/sage/categories/topological_spaces.py

@@ -9,8 +9,6 @@
 #******************************************************************************
 
 from sage.misc.cachefunc import cached_method
-from sage.misc.lazy_attribute import lazy_class_attribute
-from sage.categories.category import Category
 from sage.categories.category_with_axiom import CategoryWithAxiom
 from sage.categories.covariant_functorial_construction import RegressiveCovariantConstructionCategory
 from sage.categories.sets_cat import Sets