The tangent bundle approach to implicit differential
equations on manifolds is fully developped.
The key concepts are all cast into the frame of a category, whose
objects and morphisms give an overall picture of
the geometric techniques available in the theory.