A formalism for variational calculus based on functorial analysis (with a precise relation with functional analytic methods and jet formalism) and a long list of examples of variational problems arising in classical mechanics and quantum field theory are collected in