In measure theory one common thing we do is pulling back sigma algebras through functions which we want to force measurability for. Similar concept I have not heard for differentiable manifolds. That ...