Stav dette: Topology from the differentiable viewpoint