Homotopy Equivalence of Topological Categories