Enriched Categories and Topology