 A topological manifold that is in the image of formula_1 is said to "admit a differentiable structure", and the fiber over a given topological manifold is "the different differentiable structures on the given topological manifold".Thus given two categories, the two natural questions are