Title: Topology from the differentiable viewpoint