In this thesis we formalise the Maximum Delay Convention of Catastrophe theory. We prove theorems concerning the genericity of the existence and uniqueness of lifts from the control space to the catastrophe manifold (see Chapter 1), according to the convention above mentioned. Our methods of proof involve the application of transversality theory in a new context: that of higher order tangent bundles.